Changeset f7d1fc in git

Timestamp:

May 11, 2016, 4:56:20 PM (8 years ago)

Author:

Adi Popescu <adi_popescum@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

08d715711606b9a5d5b0193653cffffefd455ecb75bb8bde75f4eb8f4ea28113377a16cd51fd3e21

Parents:

ae57df01d23de4585edc0ab0e326957b7c5d6713

Message:

another small redSig fix

File:

• kernel/GBEngine/kstd2.cc (modified) (2 diffs)

kernel/GBEngine/kstd2.cc

@@ -742 +742 @@
             strat->sigdrop = FALSE;
             p_Delete(&h->sig,currRing);h->sig = NULL;
+            return 0;
           }
           else
@@ -2156 +2157 @@
     printf("\n   list   L\n");
     int iii;
-    #if 1
+    #if 0
     for(iii = 0; iii<= strat->Ll; iii++)
     {