diff options
Diffstat (limited to 'src/theory/arith/simplex.h')
-rw-r--r-- | src/theory/arith/simplex.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/arith/simplex.h b/src/theory/arith/simplex.h index 6740c8e1c..e34696cb5 100644 --- a/src/theory/arith/simplex.h +++ b/src/theory/arith/simplex.h @@ -57,7 +57,6 @@ #include "theory/arith/arithvar.h" #include "theory/arith/delta_rational.h" -#include "theory/arith/error_set.h" #include "theory/arith/linear_equality.h" #include "theory/arith/partial_model.h" #include "theory/arith/tableau.h" @@ -68,6 +67,8 @@ namespace CVC4 { namespace theory { namespace arith { +class ErrorSet; + class SimplexDecisionProcedure { protected: typedef std::vector< std::pair<ArithVar, int> > AVIntPairVec; |