Changeset bf34ae in git

Timestamp:

Apr 1, 1998, 8:56:30 PM (25 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

3ebd198f5ff9a3039d51bd30067bf71868c1112b

Parents:

e4a6181a4d501ec145d5df0569cc975bfdfbd666

Message:

* hannes: mpsr_Tok.cc,tok.h: minor fix, removed VERBOSE_CMD


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

Location:

Singular

Files:

• mpsr_Tok.cc (modified) (4 diffs)
• tok.h (modified) (3 diffs)

Singular/mpsr_Tok.cc

@@ -3 +3 @@
 ****************************************/
 
-/* $Id: mpsr_Tok.cc,v 1.10 1997-06-17 10:12:11 obachman Exp $ */
+/* $Id: mpsr_Tok.cc,v 1.11 1998-04-01 18:56:30 Singular Exp $ */
 
 /***************************************************************
@@ -181 +181 @@
 {
   OPTION_CMD,
-  VERBOSE_CMD,
   NAMES_CMD,
 //  RESERVEDNAME_CMD,
@@ -196 +195 @@
 {
   OPTION_CMD,
-  VERBOSE_CMD,
   NAMES_CMD,
   ATTRIB_CMD,
@@ -509 +507 @@
       else
       {
-        fprintf(stderr, "Warning: mpsr_ttGen: Unknown Cmd Token: %d\n", i);
+        fprintf(stderr, "Warning: mpsr_ttGen: Unknown Cmd Token: %d(%s)\n",
+                        i, Tok2Cmdname(i));
       }
     }

Singular/tok.h

@@ -7 +7 @@
 * ABSTRACT: token for interpreter, as types; general macros
 */
-/* $Id: tok.h,v 1.13 1998-02-27 14:06:27 Singular Exp $ */
+/* $Id: tok.h,v 1.14 1998-04-01 18:56:30 Singular Exp $ */
 
 #ifndef MYYSTYPE
@@ -101 +101 @@
   TYPEOF_CMD,
   VARSTR_CMD,
-  VERBOSE_CMD,
   WRITE_CMD,
   /* start system var section: VECHO */
@@ -115 +114 @@
   /* end system var section: VPRINTLEVEL */
 
-  /* start system var section: VECHO */
-  /* end system var section: VPRINTLEVEL */
   MAX_TOK /* must be the last, biggest token number */
 };