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