malcolm 2005/11/22 05:06:04 PST Modified files: src/hattools NonTermLib.hs nontermutils.h Log: Fix more foreign imports to mention the appropriate header file. Revision Changes Path 1.7 +6 -6 hat/src/hattools/NonTermLib.hs 1.4 +5 -0 hat/src/hattools/nontermutils.h