From 540ef6910a2b7ffeb67bac18dfc489fb4a6115d6 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Tue, 9 Mar 2021 13:48:43 +0100 Subject: Some more cleanup of includes (#6083) This PR does some more cleanup of the includes. --- src/theory/quantifiers/sygus/cegis_unif.cpp | 1 + 1 file changed, 1 insertion(+) (limited to 'src/theory/quantifiers/sygus/cegis_unif.cpp') diff --git a/src/theory/quantifiers/sygus/cegis_unif.cpp b/src/theory/quantifiers/sygus/cegis_unif.cpp index 742b3a3d9..fec15fdc6 100644 --- a/src/theory/quantifiers/sygus/cegis_unif.cpp +++ b/src/theory/quantifiers/sygus/cegis_unif.cpp @@ -14,6 +14,7 @@ #include "theory/quantifiers/sygus/cegis_unif.h" +#include "expr/sygus_datatype.h" #include "options/base_options.h" #include "options/quantifiers_options.h" #include "printer/printer.h" -- cgit v1.2.3