From 726603e0e5a5482cf98538079790747e43313276 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Wed, 6 Nov 2013 16:58:16 -0500 Subject: Flatten libcvc4 build structure; remove some #include interdependences --- src/util/datatype.cpp | 1 + 1 file changed, 1 insertion(+) (limited to 'src/util') diff --git a/src/util/datatype.cpp b/src/util/datatype.cpp index 8db91da69..1c5dd3e07 100644 --- a/src/util/datatype.cpp +++ b/src/util/datatype.cpp @@ -24,6 +24,7 @@ #include "expr/expr_manager_scope.h" #include "expr/node_manager.h" #include "expr/node.h" +#include "expr/attribute.h" #include "util/recursion_breaker.h" #include "util/matcher.h" #include "util/cvc4_assert.h" -- cgit v1.2.3