Thu Mar 14 04:08:34 PST 2002 malcolm * 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.) M ./src/hattools/HatTrail.hs -12 +13 M ./src/hattools/utils.c -2 +2