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 77d16aedb..d2eb742c2 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 CVC4__PARSER__ANTLR_TRACING_H +#define CVC4__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 /* CVC4__PARSER__ANTLR_TRACING_H */ |