Changeset 1d82d6 in git

Timestamp:

Sep 29, 2010, 4:47:14 PM (13 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'd1ba061a762c62d3a25159d8da8b6e17332291fa')

Children:

1a96a43d10db387000779904356d2c341318578c

Parents:

49cffd0386bc5ecaa84659677a7f2240bdd03ba7

Message:

min. length of proc name is 4

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

File:

• Singular/checklibs.c (modified) (1 diff)

Singular/checklibs.c

@@ -67 +67 @@
       else
       {
+        if (strlen(s)<4)
+          printf("error: minimal length of a procedure name is 4: %s\n",s);
         proc[proc_cnt]=strdup(s); proc_cnt++;
       }