diff options
Diffstat (limited to 'src/expr/node_value.h')
| -rw-r--r-- | src/expr/node_value.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/expr/node_value.h b/src/expr/node_value.h index 0635e983b..1ad498ecd 100644 --- a/src/expr/node_value.h +++ b/src/expr/node_value.h @@ -399,7 +399,6 @@ inline std::ostream& operator<<(std::ostream& out, const NodeValue& nv); }/* CVC4 namespace */ #include "expr/node_manager.h" -#include "expr/type_node.h" namespace CVC4 { namespace expr { @@ -501,7 +500,6 @@ inline NodeValue* NodeValue::getChild(int i) const { }/* CVC4 namespace */ #include "expr/node.h" -#include "expr/type_node.h" namespace CVC4 { namespace expr { |