diff options
Diffstat (limited to 'src/theory/arith/theory_arith.h')
-rw-r--r-- | src/theory/arith/theory_arith.h | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/theory/arith/theory_arith.h b/src/theory/arith/theory_arith.h index 3e414ca6d..51bbd67f3 100644 --- a/src/theory/arith/theory_arith.h +++ b/src/theory/arith/theory_arith.h @@ -25,10 +25,6 @@ namespace CVC4 { namespace theory { -namespace quantifiers { - class InstStrategySimplex; -} - namespace arith { /** @@ -38,7 +34,6 @@ namespace arith { */ class TheoryArith : public Theory { private: - friend class quantifiers::InstStrategySimplex; friend class TheoryArithPrivate; TheoryArithPrivate* d_internal; |