From 52e607564216d328045d89f998bedb885877549e Mon Sep 17 00:00:00 2001
From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Mon, 3 Jan 2022 13:59:47 -0800
Subject: [PATCH] [BV] Remove non-existent `friend` class (#7864)

---
 src/theory/bv/theory_bv.h | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/theory/bv/theory_bv.h b/src/theory/bv/theory_bv.h
index 3534a1d8f..42a08d65d 100644
--- 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,
-- 
2.30.2