diff options
Diffstat (limited to 'src/expr/node_manager.h')
-rw-r--r-- | src/expr/node_manager.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h index 465ddf588..98eb111bc 100644 --- a/src/expr/node_manager.h +++ b/src/expr/node_manager.h @@ -23,8 +23,8 @@ #include "expr/node.h" #include "expr/type_node.h" -#ifndef CVC4__NODE_MANAGER_H -#define CVC4__NODE_MANAGER_H +#ifndef CVC5__NODE_MANAGER_H +#define CVC5__NODE_MANAGER_H #include <vector> #include <string> @@ -1197,9 +1197,9 @@ inline void NodeManager::poolRemove(expr::NodeValue* nv) { } // namespace cvc5 -#define CVC4__NODE_MANAGER_NEEDS_CONSTANT_MAP +#define CVC5__NODE_MANAGER_NEEDS_CONSTANT_MAP #include "expr/metakind.h" -#undef CVC4__NODE_MANAGER_NEEDS_CONSTANT_MAP +#undef CVC5__NODE_MANAGER_NEEDS_CONSTANT_MAP #include "expr/node_builder.h" @@ -1572,4 +1572,4 @@ NodeClass NodeManager::mkConstInternal(const T& val) { } // namespace cvc5 -#endif /* CVC4__NODE_MANAGER_H */ +#endif /* CVC5__NODE_MANAGER_H */ |