[cvs-nhc98] Fix incorrect pretty-printing indent in hat-observe: the h

3 May 2002


      malcolm: Fri May  3 13:10:01 CEST 2002

Update of /usr/src/master/nhc/src/hat/tools
In directory hinken:/tmp/cvs-serv7527

Modified Files:
	HatObserve.hs SExp.hs 
Log Message:
Fix incorrect pretty-printing indent in hat-observe: the highlighting
of the eqn number should be done *after* determining its length.

[cvs-nhc98] Fix incorrect pretty-printing indent in hat-observe: the h

malcolm＠sparud.net