diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-03-31T20·09+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-03-31T20·09+0000 |
| commit | dc31305b381f69de5ac5fd4776df1a802045ff00 (patch) | |
| tree | 8dceb2635eb1f61caf1860206ced3a4828573d25 /make | |
| parent | 979f163615745db74f3a94a71818e66c75baf9ac (diff) | |
* Fixed the trace primop and path comparison.
* Removed exprToString and stringToExpr because there is no ATerm representation to work on anymore (and exposing the internals of the evaluator like this is not a good idea anyway).
Diffstat (limited to 'make')
0 files changed, 0 insertions, 0 deletions