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

Malcolm Wallace malcolm at monk.galois.com
Fri Sep 16 11:57:17 EDT 2005


malcolm     2005/09/16 08:57:17 PDT

  Modified files:
    src/hattools         hat-check.c 
  Log:
  Change some magic numbers into manifest constants.  In particular,
  this fixes a spurious error being reported for a DoLambda reference:
      tag at 0x5 is ExpIf, not Atom as ExpValueUse at 0x1d3 implies
  
  Revision  Changes    Path
  1.29      +3 -3      hat/src/hattools/hat-check.c


More information about the Cvs-nhc98 mailing list