[cvs-nhc98] Hide away top-level identifier bit in basic c interface: h

[Thorsten Brehm]

thorsten: Thu Oct 11 19:12:48 CEST 2001

Update of /usr/src/master/nhc/src/tracer/hat
In directory hinken:/tmp/cvs-serv28373

Modified Files:
	Expressions.c Hatdetect.hs Hatobserve.hs Makefile hat-checki.c 
	hatinterface.c observe.c 
Log Message:
Hide away top-level identifier bit in basic c interface: hatinterface.
Treat as normal Identifier
with additional information in the node. This avoids modifying
observe/algorithmic debugging tools and Haskell representation
of Redex Trail.