[cvs-nhc98] No log message

Malcolm Wallace malcolm@sparud.net
Thu, 14 Mar 2002 13:08:35 +0100 (CET) 

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.)