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

[cvc5.git] / src / theory / datatypes / theory_datatypes.h

diff --git a/src/theory/datatypes/theory_datatypes.h b/src/theory/datatypes/theory_datatypes.h
index 6dd990b30db4d09b30bd57fe3768698dd2eefd78..e9a0ba052cc8da120896ca2e7a80150ea3aac5b8 100644 (file)
--- a/src/theory/datatypes/theory_datatypes.h
+++ b/src/theory/datatypes/theory_datatypes.h
@@ -24,7 +24,6 @@
 
 #include "context/cdlist.h"
 #include "expr/attribute.h"
-#include "expr/datatype.h"
 #include "expr/node_trie.h"
 #include "theory/datatypes/datatypes_rewriter.h"
 #include "theory/datatypes/sygus_extension.h"