diff options
Diffstat (limited to 'test/unit/expr/node_black.cpp')
| -rw-r--r-- | test/unit/expr/node_black.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/unit/expr/node_black.cpp b/test/unit/expr/node_black.cpp index ddbdcde6b..f50d529d5 100644 --- a/test/unit/expr/node_black.cpp +++ b/test/unit/expr/node_black.cpp @@ -21,6 +21,7 @@ #include "api/cvc4cpp.h" #include "expr/dtype.h" +#include "expr/dtype_cons.h" #include "expr/expr_manager.h" #include "expr/node.h" #include "expr/node_builder.h" |