Changeset 6b0b413 in git

Timestamp:

Nov 20, 2018, 10:11:23 PM (5 years ago)

Author:

Karim Abou Zeid <karim23697@…>

Branches:

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

Children:

15fbfe06ffc98afedf8793dac26eb99ca7f9b6d4

Parents:

5c51abd37b3dc738b51459ef118d818592d55dff

Message:

Fix probably unused case where enterT was missing

File:

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

kernel/GBEngine/kstd2.cc

@@ -4320 +4320 @@
           // and add pairs
           int pos=posInS(strat,strat->sl,strat->P.p,strat->P.ecart);
-          int atR=strat->tl+1; // enterTShift introduces P.p=T[tl+1], T[tl+2]...
-          enterTShift(strat->P,strat,-1);
-          enterpairsShift(strat->P.p,strat->sl,strat->P.ecart,pos,strat, atR);
-          strat->enterS(strat->P, pos, strat, atR);
+          enterT(strat->P, strat);
+          enterpairsShift(strat->P.p,strat->sl,strat->P.ecart,pos,strat, strat->tl);
+          strat->enterS(strat->P, pos, strat, strat->tl);
+          enterTShift(strat->P,strat);
         }
       }