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