Changeset 1dc25bf in git for factory

Timestamp:

Jul 31, 2013, 6:23:10 PM (11 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

8530d342c559e3346021bae91217a83e54da495a

Parents:

a85670b1268d28aee587d91c3c581103c1865618

git-author:

Martin Lee <martinlee84@web.de>2013-07-31 18:23:10+02:00

git-committer:

Martin Lee <martinlee84@web.de>2013-08-30 13:48:25+02:00

Message:

fix: compiler warnings about empty if

File:

• factory/cfNewtonPolygon.cc (modified) (2 diffs)

factory/cfNewtonPolygon.cc

@@ -1173 +1173 @@
 
   if (isRat)
+  {
     ASSERT (bCommonDen (F).isOne(), "poly over Z expected");
+  }
 
   CanonicalForm Fp, N= maxNorm (F);
@@ -1250 +1252 @@
 
   if (isRat)
+  {
     ASSERT (bCommonDen (F).isOne(), "poly over Z expected");
+  }
 
   Variable x= Variable (1);