Changeset bf34ae in git for Singular/mpsr_Tok.cc


Ignore:
Timestamp:
Apr 1, 1998, 8:56:30 PM (26 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')
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
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/mpsr_Tok.cc

    re4a618 rbf34ae  
    33****************************************/
    44
    5 /* $Id: mpsr_Tok.cc,v 1.10 1997-06-17 10:12:11 obachman Exp $ */
     5/* $Id: mpsr_Tok.cc,v 1.11 1998-04-01 18:56:30 Singular Exp $ */
    66
    77/***************************************************************
     
    181181{
    182182  OPTION_CMD,
    183   VERBOSE_CMD,
    184183  NAMES_CMD,
    185184//  RESERVEDNAME_CMD,
     
    196195{
    197196  OPTION_CMD,
    198   VERBOSE_CMD,
    199197  NAMES_CMD,
    200198  ATTRIB_CMD,
     
    509507      else
    510508      {
    511         fprintf(stderr, "Warning: mpsr_ttGen: Unknown Cmd Token: %d\n", i);
     509        fprintf(stderr, "Warning: mpsr_ttGen: Unknown Cmd Token: %d(%s)\n",
     510                        i, Tok2Cmdname(i));
    512511      }
    513512    }
Note: See TracChangeset for help on using the changeset viewer.