Changeset 5ee324 in git for Singular/misc.cc


Ignore:
Timestamp:
Mar 7, 2002, 7:50:18 PM (22 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
6f56ca23c334f43aee6d18c6466db5e50136809e
Parents:
a31f24882f207ed8793fa7bb62185525a622d3ce
Message:
*hannes: oldStd -> lazy option


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

Legend:

Unmodified
Added
Removed
  • Singular/misc.cc

    ra31f248 r5ee324  
    327327  {"redTail",      Sy_bit(OPT_REDTAIL),        ~Sy_bit(OPT_REDTAIL)  },
    328328  {"redThrough",   Sy_bit(OPT_REDTHROUGH),     ~Sy_bit(OPT_REDTHROUGH)  },
    329   {"oldStd",       Sy_bit(OPT_OLDSTD),         ~Sy_bit(OPT_OLDSTD)  },
     329  {"lazy",         Sy_bit(OPT_OLDSTD),         ~Sy_bit(OPT_OLDSTD)  },
    330330  {"intStrategy",  Sy_bit(OPT_INTSTRATEGY),    ~Sy_bit(OPT_INTSTRATEGY)  },
    331331  {"infRedTail",   Sy_bit(OPT_INFREDTAIL),     ~Sy_bit(OPT_INFREDTAIL)  },
Note: See TracChangeset for help on using the changeset viewer.