diff options
Diffstat (limited to 'src/util/roundingmode.h')
-rw-r--r-- | src/util/roundingmode.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/roundingmode.h b/src/util/roundingmode.h index 485bbf847..e58689df6 100644 --- a/src/util/roundingmode.h +++ b/src/util/roundingmode.h @@ -18,7 +18,7 @@ #include <fenv.h> -namespace CVC4 { +namespace CVC5 { #define CVC4_NUM_ROUNDING_MODES 5 @@ -45,6 +45,6 @@ struct RoundingModeHashFunction inline size_t operator()(const RoundingMode& rm) const { return size_t(rm); } }; /* struct RoundingModeHashFunction */ -} // namespace CVC4 +} // namespace CVC5 #endif |