diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-10-17 16:40:18 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-17 16:40:18 -0500 |
commit | 5396f014b66cbfd7cc16380c05c1539b1efe583c (patch) | |
tree | ed03ec11102f72be28a90863f6d3c49a46fe0711 /src/theory/quantifiers/sygus/synth_conjecture.cpp | |
parent | 207245fef36ccad1281fefe9d3f3403cd4f6d15b (diff) |
Move datatype utility functions to own file (#3397)
Diffstat (limited to 'src/theory/quantifiers/sygus/synth_conjecture.cpp')
-rw-r--r-- | src/theory/quantifiers/sygus/synth_conjecture.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/sygus/synth_conjecture.cpp b/src/theory/quantifiers/sygus/synth_conjecture.cpp index e2a8540d4..78f2f6a7e 100644 --- a/src/theory/quantifiers/sygus/synth_conjecture.cpp +++ b/src/theory/quantifiers/sygus/synth_conjecture.cpp @@ -23,7 +23,7 @@ #include "smt/smt_engine.h" #include "smt/smt_engine_scope.h" #include "smt/smt_statistics_registry.h" -#include "theory/datatypes/datatypes_rewriter.h" +#include "theory/datatypes/theory_datatypes_utils.h" #include "theory/quantifiers/first_order_model.h" #include "theory/quantifiers/instantiate.h" #include "theory/quantifiers/quantifiers_attributes.h" |