[cvs-nhc98] patch applied (hat): Renamed " parents"
of SATs to projValue, as for Projection nodes.
Malcolm Wallace
Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:07:42 EDT 2006
Thu Sep 20 06:26:47 PDT 2001 thorsten
* Renamed "parents" of SATs to projValue, as for Projection nodes.
M ./src/hattools/HatExpressionTree.hs -29 +33
M ./src/hattools/HatTrace.gc -3 +6
M ./src/hattools/hashtable.c -4 +49
M ./src/hattools/hashtable.h +3
M ./src/hattools/hatinterface.c -4 +2
M ./src/hattools/observeutils.c -2 +5
More information about the Cvs-nhc98
mailing list