[cvs-nhc98] patch applied (hat): Another fix to ensure we get " redex = _|_" in hat-trail in all cases

[Malcolm Wallace]

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