Changeset 9408d9 in git for kernel/kstd2.cc
- Timestamp:
- Dec 16, 2013, 3:04:43 PM (10 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- d08a3a399eb7febd54a0044f3ad1ca3db14cd61c
- Parents:
- 7464b7c0278cc5f5d15e212a7ec946537d3386b6
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/kstd2.cc
r7464b7c r9408d9 1903 1903 #endif 1904 1904 #if SBA_PRODUCT_CRITERION 1905 if (strat->P.prd_crit) { 1905 if (strat->P.prod_crit) { 1906 #if SBA_PRINT_PRODUCT_CRITERION 1906 1907 product_criterion++; 1908 #endif 1907 1909 int pos = posInSyz(strat, strat->P.sig); 1908 1910 enterSyz(strat->P, strat, pos);
Note: See TracChangeset
for help on using the changeset viewer.