[BV] Remove non-existent `friend` class (#7864)

diff --git a/src/theory/bv/theory_bv.h b/src/theory/bv/theory_bv.h
index 3534a1d8f2e5b7db323943534cd5e4b0b2813162..42a08d65d1aaf0d3cf113fedbe0b2dc8fc3d98a7 100644 (file)
--- a/src/theory/bv/theory_bv.h
+++ b/src/theory/bv/theory_bv.h
@@ -34,10 +34,6 @@ class BVSolver;
 
 class TheoryBV : public Theory
 {
-  /* BVSolverLayered accesses methods from theory in a way that is deprecated
-   * and will be removed in the future. For now we allow direct access. */
-  friend class BVSolverLayered;
-
  public:
   TheoryBV(Env& env,
            OutputChannel& out,