Changeset 5a097e in git

Timestamp:

Nov 18, 2013, 11:55:59 AM (9 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '5bec8f88c9ee2573d328cf7c3aff2bcb301d2395')

Children:

9d864add8f262ed66a3af97f514c37d01844334c

Parents:

96e5c4f9a69fb4672f596992345c4a36008ea3c5

Message:

chg: allow digits in package names (during auto-load)

File:

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

Singular/iparith.cc

@@ -708 +708 @@
         {
           const char *c=u->name+1;
-          while((*c!='\0')&&(islower(*c))) c++;
+          while((*c!='\0')&&(islower(*c)||(isdigit(*c)))) c++;
           if (*c!='\0')
             name_err=1;