diff options
Diffstat (limited to 'src/parser/antlr_tracing.h')
| -rw-r--r-- | src/parser/antlr_tracing.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/parser/antlr_tracing.h b/src/parser/antlr_tracing.h index d82b9e49c..317b6ea98 100644 --- a/src/parser/antlr_tracing.h +++ b/src/parser/antlr_tracing.h @@ -15,8 +15,8 @@ ** \todo document this file **/ -#ifndef CVC4__PARSER__ANTLR_TRACING_H -#define CVC4__PARSER__ANTLR_TRACING_H +#ifndef CVC5__PARSER__ANTLR_TRACING_H +#define CVC5__PARSER__ANTLR_TRACING_H // only enable the hack with -DCVC4_TRACE_ANTLR #ifdef CVC4_TRACE_ANTLR @@ -83,4 +83,4 @@ static struct __Cvc4System { #endif /* CVC4_TRACE_ANTLR */ -#endif /* CVC4__PARSER__ANTLR_TRACING_H */ +#endif /* CVC5__PARSER__ANTLR_TRACING_H */ |