Fri Nov 18 02:55:27 PST 2005 malcolm * Fix compilation errors and warnings in hat-nonterm. M ./src/hattools/Makefile -1 +1 M ./src/hattools/NonTermLib.hs -9 +13 M ./src/hattools/nontermutils.c -2 M ./src/hattools/nontermutils.h +3