Changeset 9408d9 in git

Timestamp:

Dec 16, 2013, 3:04:43 PM (10 years ago)

Author:

Christian Eder

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

d08a3a399eb7febd54a0044f3ad1ca3db14cd61c

Parents:

7464b7c0278cc5f5d15e212a7ec946537d3386b6

Message:

fixes prod_crit check in sba

File:

• kernel/kstd2.cc (modified) (1 diff)

kernel/kstd2.cc

@@ -1903 +1903 @@
 #endif
 #if SBA_PRODUCT_CRITERION
-        if (strat->P.prd_crit) {
+        if (strat->P.prod_crit) {
+#if SBA_PRINT_PRODUCT_CRITERION
           product_criterion++;
+#endif
           int pos = posInSyz(strat, strat->P.sig);
           enterSyz(strat->P, strat, pos);