Changeset 371848 in git

Timestamp:

Jan 10, 2001, 5:34:21 PM (22 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'cdfcdb8287f66bc6070028082cbbc6eff10e609b')

Children:

b3aea86a1fb9d3915af5359c7372b0f10775641c

Parents:

05d2e8f1ffa9bd1b6bf7e221ca856ac032c037fd

Message:

* hannes: fixed killall


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

File:

• Singular/LIB/general.lib (modified) (2 diffs)

Singular/LIB/general.lib

@@ -2 +2 @@
 //anne, added deleteSublist and watchdog 12.12.2000
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: general.lib,v 1.35 2001-01-07 01:50:32 greuel Exp $";
+version="$Id: general.lib,v 1.36 2001-01-10 16:34:21 Singular Exp $";
 category="General purpose";
 info="
@@ -479 +479 @@
         {
           no_kill = 0;
-          for (j=2; j<= size(#); j++)
+          for (int j=2; j<= size(#); j++)
           {
             if (typeof(`@marie[@joni]`)==#[j] or @marie[@joni] == #[j])