[cvs-nhc98] patch applied (hat): Fix incorrect pretty-printing indent in hat-observe: the highlighting

[Malcolm Wallace]

Fri May  3 04:10:01 PDT 2002  malcolm
  * Fix incorrect pretty-printing indent in hat-observe: the highlighting
  of the eqn number should be done *after* determining its length.

    M ./src/hattools/HatObserve.hs -2 +2
    M ./src/hattools/SExp.hs -2 +3