[cvs-nhc98] Corrected bug in trace creation for blackhole.
User olaf
olaf@sparud.net
Thu, 18 Oct 2001 16:43:31 +0200 (CEST)
olaf: Thu Oct 18 16:43:31 CEST 2001
Update of /usr/src/master/nhc/src/prelude/Hat
In directory hinken:/tmp/cvs-serv10336/src/prelude/Hat
Modified Files:
TPrelude.hs
Log Message:
Corrected bug in trace creation for blackhole.
The last entered redex is on top of the SatB stack, not in a global variable no longer used.
(This only concerns the old, nonportable tracing transformation.)