Changeset 075c01 in git

Timestamp:

Jun 22, 2010, 2:02:00 PM (13 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

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

Children:

beef52f39a69580867ef8ca94c59bb9c2ca7b9a6

Parents:

ce2454949e8e46db1d1637a6fcc18949a5f996a5

Message:

pDeleteLm ->pLmDelete

git-svn-id: file:///usr/local/Singular/svn/trunk@12893 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

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

kernel/kstd1.cc

@@ -505 +505 @@
     if (TEST_V_DEG_STOP)
     {
-      if (kModDeg(H.p)>Kstd1_deg) pDeleteLm(&H.p);
+      if (kModDeg(H.p)>Kstd1_deg) pLmDelete(&H.p);
       if (H.p==NULL) return NULL;
     }