[cvs-nhc98] Enabled interruption of computation in tracing with new fi

User olaf olaf@sparud.net
Tue, 16 Apr 2002 18:00:24 +0200 (CEST)


olaf: Tue Apr 16 18:00:23 CEST 2002

Update of /usr/src/master/nhc/src/hat/lib
In directory hinken:/tmp/cvs-serv26371/src/hat/lib

Modified Files:
	hat.c 
Log Message:
Enabled interruption of computation in tracing with new file format.

The header marks interrution as decribed in Memo 31.
Interruption can only happen when a reduction or a Forward node is entered. So a trusted or foreign computation cannot be interrupted.