[cvs-nhc98] cvs commit: hat/src/hattools nontermutils.c

Malcolm Wallace malcolm at monk.galois.com
Fri Sep 16 12:13:40 EDT 2005


malcolm     2005/09/16 09:13:40 PDT

  Modified files:
    src/hattools         nontermutils.c 
  Log:
  Special file ref values are now <= DoLambda, rather than <= Lambda.
  
  Revision  Changes    Path
  1.4       +8 -8      hat/src/hattools/nontermutils.c


More information about the Cvs-nhc98 mailing list