From 0f03dbb1378354adcfef635a93f8b13987c2d983 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Wed, 17 Feb 2021 13:34:54 -0600 Subject: 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. --- src/theory/quantifiers/sygus_inst.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/theory/quantifiers/sygus_inst.h') diff --git a/src/theory/quantifiers/sygus_inst.h b/src/theory/quantifiers/sygus_inst.h index 123ec1f5e..3116f35e6 100644 --- a/src/theory/quantifiers/sygus_inst.h +++ b/src/theory/quantifiers/sygus_inst.h @@ -21,7 +21,7 @@ #include #include "context/cdhashset.h" -#include "theory/quantifiers/quant_util.h" +#include "theory/quantifiers/quant_module.h" namespace CVC4 { namespace theory { -- cgit v1.2.3