From f87f038c5f0821d0fefb01cea00bfdec6004da91 Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Fri, 9 Apr 2021 17:22:07 -0700
Subject: Rename CVC4_ macros to CVC5_. (#6327)

---
 src/util/integer_gmp_imp.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/util/integer_gmp_imp.h')

diff --git a/src/util/integer_gmp_imp.h b/src/util/integer_gmp_imp.h
index 077babe17..a5cc793ce 100644
--- a/src/util/integer_gmp_imp.h
+++ b/src/util/integer_gmp_imp.h
@@ -60,10 +60,10 @@ class CVC4_EXPORT Integer
   Integer(signed long int z) : d_value(z) {}
   Integer(unsigned long int z) : d_value(z) {}
 
-#ifdef CVC4_NEED_INT64_T_OVERLOADS
+#ifdef CVC5_NEED_INT64_T_OVERLOADS
   Integer(int64_t z) : d_value(static_cast<long>(z)) {}
   Integer(uint64_t z) : d_value(static_cast<unsigned long>(z)) {}
-#endif /* CVC4_NEED_INT64_T_OVERLOADS */
+#endif /* CVC5_NEED_INT64_T_OVERLOADS */
 
   /** Destructor. */
   ~Integer() {}
-- 
cgit v1.2.3