diff options
Diffstat (limited to 'src/util/floatingpoint_literal_symfpu_traits.cpp')
-rw-r--r-- | src/util/floatingpoint_literal_symfpu_traits.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/floatingpoint_literal_symfpu_traits.cpp b/src/util/floatingpoint_literal_symfpu_traits.cpp index fe814317d..d1cd7621f 100644 --- a/src/util/floatingpoint_literal_symfpu_traits.cpp +++ b/src/util/floatingpoint_literal_symfpu_traits.cpp @@ -12,7 +12,7 @@ ** \brief SymFPU glue code for floating-point values. **/ -#if CVC4_USE_SYMFPU +#if CVC5_USE_SYMFPU #include "util/floatingpoint_literal_symfpu_traits.h" |