From 3ab0db55341e7e752411bb003fb203fcd9ec9120 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Fri, 24 Nov 2017 19:08:41 -0600 Subject: (Refactor) Instantiate utility (#1387) --- src/theory/quantifiers/equality_query.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/theory/quantifiers/equality_query.cpp') diff --git a/src/theory/quantifiers/equality_query.cpp b/src/theory/quantifiers/equality_query.cpp index e79f3456b..86878b9ca 100644 --- a/src/theory/quantifiers/equality_query.cpp +++ b/src/theory/quantifiers/equality_query.cpp @@ -15,8 +15,9 @@ #include "theory/quantifiers/equality_query.h" #include "options/quantifiers_options.h" -#include "theory/quantifiers/first_order_model.h" #include "theory/quantifiers/equality_infer.h" +#include "theory/quantifiers/first_order_model.h" +#include "theory/quantifiers/quantifiers_attributes.h" #include "theory/quantifiers/term_database.h" #include "theory/quantifiers/term_util.h" #include "theory/theory_engine.h" -- cgit v1.2.3