Changeset 670e19d in git for Singular/LIB

Timestamp:

May 15, 2013, 1:40:45 PM (11 years ago)

Author:

Yue Ren <ren@…>

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

29c097eaf94a727ace4d3a536c13c21fd399f40a

Parents:

4c95acc9294d8ee135bf58ad358e45a742142e80

Message:

fix: timeStd correctly sets the attribute isSB

File:

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

Singular/LIB/general.lib

@@ -1205 +1205 @@
           kill PP;
         }
+        attrib(result,"isSB",1);
       }
       close(l_fork);