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

Malcolm Wallace malcolm at galois.com
Wed Sep 7 06:04:40 EDT 2005


malcolm     2005/09/07 03:04:40 PDT

  Modified files:
    src/hattools         nontermutils.c 
  Log:
  Warning police: cast the result of malloc to the appropriate type.
  
  Revision  Changes    Path
  1.3       +4 -4      hat/src/hattools/nontermutils.c


More information about the Cvs-nhc98 mailing list