diff options
Diffstat (limited to 'src/util/tls.h.in')
-rw-r--r-- | src/util/tls.h.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/tls.h.in b/src/util/tls.h.in index 2512e481d..e13149c3a 100644 --- a/src/util/tls.h.in +++ b/src/util/tls.h.in @@ -195,4 +195,4 @@ public: #endif /* @CVC4_TLS_SUPPORTED@ */ -#endif /* _CVC4__TLS_H */ +#endif /* __CVC4__TLS_H */ |