Changeset a1b1dd in git for Singular/LIB/general.lib

Timestamp:

Aug 13, 2004, 2:52:38 PM (19 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

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

Children:

cbcc6f60e9762c35407e5f53eca609495277d48c

Parents:

adeed4b97f724a13995d90ce8a67054ca3ff5503

Message:

*hannes: namespace changes


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

File:

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

Singular/LIB/general.lib

@@ -3 +3 @@
 //eric, added absValue 11.04.2002
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: general.lib,v 1.42 2002-04-11 14:46:54 westenb Exp $";
+version="$Id: general.lib,v 1.43 2004-08-13 12:52:37 Singular Exp $";
 category="General purpose";
 info="
@@ -529 +529 @@
       for ( @joni=size(@marie); @joni>2; @joni-- )
       {
-        if ( @marie[@joni] != "LIB" && typeof(`@marie[@joni]`) != "proc")
+        if ( @marie[@joni] != "LIB" && @marie[@joni] != "Top"
+             && typeof(`@marie[@joni]`) != "proc")
         {
           no_kill = 0;