diff options
Diffstat (limited to 'src/theory/arith/constraint_forward.h')
-rw-r--r-- | src/theory/arith/constraint_forward.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/arith/constraint_forward.h b/src/theory/arith/constraint_forward.h index f6ceea311..5f0e124fb 100644 --- a/src/theory/arith/constraint_forward.h +++ b/src/theory/arith/constraint_forward.h @@ -22,9 +22,10 @@ #ifndef CVC5__THEORY__ARITH__CONSTRAINT_FORWARD_H #define CVC5__THEORY__ARITH__CONSTRAINT_FORWARD_H -#include "cvc4_private.h" #include <vector> +#include "cvc5_private.h" + namespace cvc5 { namespace theory { namespace arith { |