Replace Expr-level datatype with Node-level DType (#4875)

[cvc5.git] / src / theory / quantifiers / term_util.cpp

diff --git a/src/theory/quantifiers/term_util.cpp b/src/theory/quantifiers/term_util.cpp
index f657062edc039f3169fd406fa36e10ab397d651f..42b560c59eaed29215dcb58266505e08da7f16d2 100644 (file)
--- a/src/theory/quantifiers/term_util.cpp
+++ b/src/theory/quantifiers/term_util.cpp
@@ -14,7 +14,6 @@
 
 #include "theory/quantifiers/term_util.h"
 
-#include "expr/datatype.h"
 #include "expr/node_algorithm.h"
 #include "options/base_options.h"
 #include "options/datatypes_options.h"