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