cvs commit: hugs98/src static.c

12 Feb 2001


      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

nordland＠glass.cse.ogi.edu

tags

participants (1)