diff options
Diffstat (limited to 'src/expr/metakind_template.h')
| -rw-r--r-- | src/expr/metakind_template.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/metakind_template.h b/src/expr/metakind_template.h index 079199359..80bf37220 100644 --- a/src/expr/metakind_template.h +++ b/src/expr/metakind_template.h @@ -26,8 +26,6 @@ #include "expr/kind.h" #include "util/Assert.h" -${metakind_includes} - namespace CVC4 { namespace expr { @@ -187,6 +185,8 @@ struct NodeValuePoolEq { #endif /* __CVC4__KIND__METAKIND_H */ +${metakind_includes} + #ifdef __CVC4__NODE_MANAGER_NEEDS_CONSTANT_MAP namespace CVC4 { |