Changeset 4b833f in git

Timestamp:

Nov 23, 2020, 7:01:04 PM (3 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

bf5b1ec087536dabb9c787249254be6b319b9395

Parents:

83b61dab63ac2e1b7ae8b70d52db7a3a950835f3

Message:

chg: system("verify" -> system(verifyGB"

File:

• Singular/extra.cc (modified) (1 diff)

Singular/extra.cc

@@ -3871 +3871 @@
     else
 /* ====== verify ============================*/
-    if(strcmp(sys_cmd,"verify")==0)
+    if(strcmp(sys_cmd,"verifyGB")==0)
     {
       if (h->Typ()!=IDEAL_CMD)