From: Tim King <taking@cs.nyu.edu>
Date: Fri, 30 Nov 2012 23:34:47 +0000 (+0000)
Subject: Fixes for stricter compilers Andy brought to my attention.
X-Git-Tag: cvc5-1.0.0~7505
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7f7f7188f1f62502653da77660e333dfb8b38785;p=cvc5.git

Fixes for stricter compilers Andy brought to my attention.
---

diff --git a/test/unit/util/integer_white.h b/test/unit/util/integer_white.h
index 19281d745..32db6fd83 100644
--- a/test/unit/util/integer_white.h
+++ b/test/unit/util/integer_white.h
@@ -43,9 +43,9 @@ public:
 
   //Make sure we can properly handle:
   //http://www.ginac.de/CLN/cln_3.html#SEC15
-  const int i_above2tothe29 = (1 << 29) + 1;
-  const unsigned int u_above2tothe29 = (1 << 29) + 1;
   void testConstruction(){
+    const int i_above2tothe29 = (1 << 29) + 1;
+    const unsigned int u_above2tothe29 = (1 << 29) + 1;
     TS_ASSERT_EQUALS(Integer(i_above2tothe29), Integer((long)i_above2tothe29));
     TS_ASSERT_EQUALS(Integer(u_above2tothe29),
                      Integer((unsigned long)u_above2tothe29));
diff --git a/test/unit/util/rational_white.h b/test/unit/util/rational_white.h
index 63b4e1843..be5b9f044 100644
--- a/test/unit/util/rational_white.h
+++ b/test/unit/util/rational_white.h
@@ -433,9 +433,9 @@ public:
 
   //Make sure we can properly handle:
   //http://www.ginac.de/CLN/cln_3.html#SEC15
-  const int i_above2tothe29 = (1 << 29) + 1;
-  const unsigned int u_above2tothe29 = (1 << 29) + 1;
   void testConstruction(){
+    const int i_above2tothe29 = (1 << 29) + 1;
+    const unsigned int u_above2tothe29 = (1 << 29) + 1;
     TS_ASSERT_EQUALS(Rational(i_above2tothe29), Rational((long)i_above2tothe29));
     TS_ASSERT_EQUALS(Rational(u_above2tothe29),
                      Rational((unsigned long)u_above2tothe29));