diff options
Diffstat (limited to 'src/util/statistics_value.h')
| -rw-r--r-- | src/util/statistics_value.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/statistics_value.h b/src/util/statistics_value.h index a272c7a05..67fd37118 100644 --- a/src/util/statistics_value.h +++ b/src/util/statistics_value.h @@ -24,8 +24,8 @@ #include "cvc4_private_library.h" -#ifndef CVC4__UTIL__STATISTICS_VALUE_H -#define CVC4__UTIL__STATISTICS_VALUE_H +#ifndef CVC5__UTIL__STATISTICS_VALUE_H +#define CVC5__UTIL__STATISTICS_VALUE_H #include <chrono> #include <iomanip> |