Changeset 52dbd6 in git

Timestamp:

Nov 6, 2018, 3:46:36 PM (6 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'd08f5f0bb3329b8ca19f23b74cb1473686415c3a')

Children:

33981ca889f0c0d78e92e044c95595b0dc86d91b

Parents:

06df0704f6eecb12261c5f37275f2874a08484a5

Message:

fix: debug stuff

File:

• libpolys/polys/sbuckets.cc (modified) (1 diff)

libpolys/polys/sbuckets.cc

@@ -356 +356 @@
   p_Test(pn, r);
   assume(l_dummy == pLength(pn));
+#ifndef SING_NDEBUG
   assume(l_in == l_dummy);
+#endif
   return pn;
 }