Changeset 7f21fb in git for Singular/ipshell.cc

Timestamp:

Jan 8, 2014, 1:21:49 PM (10 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'a719bcf0b8dbc648b128303a49777a094b57592c')

Children:

fc2f762f90dc115bc70d7fee1ba7ce991e32ff62

Parents:

18c4eb54cb30e33ff6748951479c04b14c359558

Message:

chg: export respects option(noredefine)

File:

• Singular/ipshell.cc (modified) (2 diffs)

Singular/ipshell.cc

@@ -1258 +1258 @@
   if (IDLEV(h)==0)
   {
-    if (!BVERBOSE(V_REDEFINE)) Warn("`%s` is already global",IDID(h));
+    if (BVERBOSE(V_REDEFINE)) Warn("`%s` is already global",IDID(h));
   }
   else
@@ -1405 +1405 @@
         if ((pack==currPack) && (old==(idhdl)v->data))
         {
-          if (!BVERBOSE(V_REDEFINE)) Warn("`%s` is already global",IDID(old));
+          if (BVERBOSE(V_REDEFINE)) Warn("`%s` is already global",IDID(old));
           break;
         }