Changeset 9408d9 in git

Timestamp:

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

Author:

Christian Eder

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

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);