malcolm: Thu Mar 14 13:08:34 CET 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv26685 Modified Files: HatTrail.hs utils.c Log Message: Another fix to ensure we get "redex = _|_" in hat-trail in all cases where it is appropriate. (Previously, a SatA resulted in "no rhs found", but a SatB in _|_; make them the same.)