[cvs-nhc98] Corrected error in tracing of suspected ifs and guards.

[User olaf]

olaf: Mon May  7 13:00:42 CEST 2001

Update of /usr/src/master/nhc/docs
In directory hinken:/tmp/cvs-serv27814/docs

Modified Files:
	hatuser.tex 
Log Message:
Corrected error in tracing of suspected ifs and guards.

Sometimes these were not recorded in the trace, because of some bogus trustedness test. No measurable influence on runtime (although test is removed) and Mate trace file increases by 0.1%.