diff options
Diffstat (limited to 'src/expr/expr_template.h')
-rw-r--r-- | src/expr/expr_template.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h index 71f09825e..a32590050 100644 --- a/src/expr/expr_template.h +++ b/src/expr/expr_template.h @@ -23,8 +23,8 @@ // "expr.h" safely, then go on to completely declare their own stuff. ${includes} -#ifndef __CVC4__EXPR_H -#define __CVC4__EXPR_H +#ifndef CVC4__EXPR_H +#define CVC4__EXPR_H #include <stdint.h> #include <iosfwd> @@ -620,4 +620,4 @@ inline size_t ExprHashFunction::operator()(CVC4::Expr e) const { }/* CVC4 namespace */ -#endif /* __CVC4__EXPR_H */ +#endif /* CVC4__EXPR_H */ |