Changeset 80f8f6c in git for Singular/LIB/presolve.lib

Timestamp:

Feb 23, 2016, 2:11:24 AM (8 years ago)

Author:

jgmbenoit <quatermaster@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

ca5f5ec50e7d7e43e956e80b9cff948d8a89ee55

Parents:

50c6c2f123ea605b5992f5784cb7c48542819afa

Message:

correct spelling errors as detected by Lintian

File:

• Singular/LIB/presolve.lib (modified) (1 diff)

Singular/LIB/presolve.lib

@@ -939 +939 @@
    if( n == 0 )
    {
-      dbprint( pr,"","// no variable occured in "+typeof(id)+", no change of ring!");
+      dbprint( pr,"","// no variable occurred in "+typeof(id)+", no change of ring!");
       return(id);
    }