diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-02-17 13:34:54 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-17 13:34:54 -0600 |
| commit | 0f03dbb1378354adcfef635a93f8b13987c2d983 (patch) | |
| tree | 6c6dcc0e806b0867d19d01cb045a5a50764bf0e0 /src/theory/quantifiers/quant_split.h | |
| parent | d107bf9b8b4dd206580681e601a033742029ec79 (diff) | |
Move methods from term util to quantifiers registry (#5916)
Towards eliminating dependencies on quantifiers engine, and eliminating the TermUtil class.
Note that QuantifiersModule had to be moved to its own file to avoid circular include dependencies.
Diffstat (limited to 'src/theory/quantifiers/quant_split.h')
| -rw-r--r-- | src/theory/quantifiers/quant_split.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/quant_split.h b/src/theory/quantifiers/quant_split.h index 8fb9b4eb6..a51575f93 100644 --- a/src/theory/quantifiers/quant_split.h +++ b/src/theory/quantifiers/quant_split.h @@ -18,7 +18,7 @@ #define CVC4__THEORY__QUANT_SPLIT_H #include "context/cdo.h" -#include "theory/quantifiers/quant_util.h" +#include "theory/quantifiers/quant_module.h" namespace CVC4 { namespace theory { |