From d14fbb0eb27226e3a7d86733c087e469e797d1ef Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Mon, 5 Aug 2019 12:04:02 -0500 Subject: Remove forward declarations in quantifiers engine (#3156) --- src/theory/quantifiers/fmf/model_builder.h | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/theory/quantifiers/fmf/model_builder.h') diff --git a/src/theory/quantifiers/fmf/model_builder.h b/src/theory/quantifiers/fmf/model_builder.h index 1b4d24779..c8f59defe 100644 --- a/src/theory/quantifiers/fmf/model_builder.h +++ b/src/theory/quantifiers/fmf/model_builder.h @@ -17,9 +17,10 @@ #ifndef CVC4__THEORY__QUANTIFIERS__MODEL_BUILDER_H #define CVC4__THEORY__QUANTIFIERS__MODEL_BUILDER_H -#include "theory/quantifiers_engine.h" +#include "expr/node.h" +#include "theory/quantifiers/first_order_model.h" +#include "theory/quantifiers/inst_match.h" #include "theory/theory_model_builder.h" -#include "theory/uf/theory_uf_model.h" namespace CVC4 { namespace theory { -- cgit v1.2.3