cvs commit: hugs98/src static.c

nordland@glass.cse.ogi.edu nordland@glass.cse.ogi.edu
Mon, 12 Feb 2001 17:02:16 -0800 

nordland    2001/02/12 17:02:16 PST

  Modified files:
    src                  static.c 
  Log:
  Fixed bug in the reporting of inconsistent instances due to
  functional dependencies.
  
  Revision  Changes    Path
  1.30      +3 -3      hugs98/src/static.c