[cvs-nhc98] patch applied (hat): - Fixed space leak in Expressions.c

[Malcolm Wallace]

Mon Jul 23 11:32:53 PDT 2001  thorsten
  * - Fixed space leak in Expressions.c
  - resolve function traces pointing to SATs for all applications in observe.c
    => fix problem with higher order values returned by functions

    M ./src/hattools/Expressions.c -1 +3
    M ./src/hattools/hashtable.c -1 +1
    M ./src/hattools/hat-observe.c -1 +1
    M ./src/hattools/observeutils.c -1 +2