diff options
Diffstat (limited to 'src/expr/attribute_internals.h')
-rw-r--r-- | src/expr/attribute_internals.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/attribute_internals.h b/src/expr/attribute_internals.h index 2293e4b5a..a0ef6ea02 100644 --- a/src/expr/attribute_internals.h +++ b/src/expr/attribute_internals.h @@ -16,9 +16,9 @@ #include "cvc4_private.h" -#ifndef CVC4_ATTRIBUTE_H__INCLUDING__ATTRIBUTE_INTERNALS_H +#ifndef CVC5_ATTRIBUTE_H__INCLUDING__ATTRIBUTE_INTERNALS_H # error expr/attribute_internals.h should only be included by expr/attribute.h -#endif /* CVC4_ATTRIBUTE_H__INCLUDING__ATTRIBUTE_INTERNALS_H */ +#endif /* CVC5_ATTRIBUTE_H__INCLUDING__ATTRIBUTE_INTERNALS_H */ #ifndef CVC5__EXPR__ATTRIBUTE_INTERNALS_H #define CVC5__EXPR__ATTRIBUTE_INTERNALS_H |