diff options
Diffstat (limited to 'src/util/floatingpoint_literal_symfpu.h.in')
-rw-r--r-- | src/util/floatingpoint_literal_symfpu.h.in | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/util/floatingpoint_literal_symfpu.h.in b/src/util/floatingpoint_literal_symfpu.h.in index 8ef62c63b..e773c1f97 100644 --- a/src/util/floatingpoint_literal_symfpu.h.in +++ b/src/util/floatingpoint_literal_symfpu.h.in @@ -28,7 +28,7 @@ namespace cvc5 { // clang-format off -#if @CVC4_USE_SYMFPU@ +#if @CVC5_USE_SYMFPU@ // clang-format on using SymFPUUnpackedFloatLiteral = ::symfpu::unpackedFloat<symfpuLiteral::traits>; @@ -65,7 +65,7 @@ class FloatingPointLiteral static uint32_t getUnpackedSignificandWidth(FloatingPointSize& size); // clang-format off -#if !@CVC4_USE_SYMFPU@ +#if !@CVC5_USE_SYMFPU@ // clang-format on /** Catch-all for unimplemented functions. */ static void unimplemented(void); @@ -197,7 +197,7 @@ class FloatingPointLiteral const RoundingMode& rm, BitVector undefinedCase) const; // clang-format off -#if @CVC4_USE_SYMFPU@ +#if @CVC5_USE_SYMFPU@ // clang-format on /** Return wrapped floating-point literal. */ const SymFPUUnpackedFloatLiteral& getSymUF() const { return d_symuf; } @@ -224,7 +224,7 @@ class FloatingPointLiteral const BitVector& sig) : d_fp_size(size) // clang-format off -#if @CVC4_USE_SYMFPU@ +#if @CVC5_USE_SYMFPU@ // clang-format on , d_symuf(SymFPUUnpackedFloatLiteral(sign, exp, sig)) @@ -233,7 +233,7 @@ class FloatingPointLiteral } // clang-format off -#if @CVC4_USE_SYMFPU@ +#if @CVC5_USE_SYMFPU@ // clang-format on /** Create a FP literal from a symFPU unpacked float. */ @@ -245,7 +245,7 @@ class FloatingPointLiteral /** The floating-point size of this floating-point literal. */ FloatingPointSize d_fp_size; // clang-format off -#if @CVC4_USE_SYMFPU@ +#if @CVC5_USE_SYMFPU@ // clang-format on /** The actual floating-point value, a SymFPU unpackedFloat. */ SymFPUUnpackedFloatLiteral d_symuf; |