[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