Changeset de25e5 in git for Singular/scanner.l

Timestamp:

Feb 10, 2010, 2:32:06 PM (14 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')

Children:

4a09df4e7fec1fcbc85cd5052b9a374ed9ddd671

Parents:

bf3a67ebcb83abf41b02b083b19bd29eb4000fe6

Message:

scanner simplified

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

File:

• Singular/scanner.l (modified) (2 diffs)

Singular/scanner.l

@@ -301 +301 @@
                            m2_end(-1);
                          }
-(quit|exit)[ \t\n]*[\.;]?  {
+(quit|exit)[ \t\n]*;     {
                            #ifdef MM_STAT
                            mmStat(-500);
@@ -307 +307 @@
                            #ifdef OM_TRACK
                            #ifndef NDEBUG
-                             omPrintUsedTrackAddrs(stdout, 1);
+                             omPrintUsedTrackAddrs(stdout, 10);
                            #endif
                            #endif