diff options
Diffstat (limited to 'src/theory/quantifiers/quant_split.h')
-rw-r--r-- | src/theory/quantifiers/quant_split.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/theory/quantifiers/quant_split.h b/src/theory/quantifiers/quant_split.h index 1a2aaa6cf..e88e99a83 100644 --- a/src/theory/quantifiers/quant_split.h +++ b/src/theory/quantifiers/quant_split.h @@ -17,11 +17,14 @@ #ifndef CVC4__THEORY__QUANT_SPLIT_H #define CVC4__THEORY__QUANT_SPLIT_H -#include "theory/quantifiers_engine.h" #include "context/cdo.h" +#include "theory/quantifiers/quant_util.h" namespace CVC4 { namespace theory { + +class QuantifiersEngine; + namespace quantifiers { class QuantDSplit : public QuantifiersModule { |