diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-16T17·46+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-16T17·46+0000 |
| commit | 3e5a019a070cbaac7d1248e208c66da9fdb23313 (patch) | |
| tree | dc18227825e04cabe6a4829cc76c7729792b7d78 /src/fix | |
| parent | 06ae269c7c5cdda32072f3f00cf644e540ba12cd (diff) | |
* Some utility functions for working with ATerms.
Diffstat (limited to 'src/fix')
| -rw-r--r-- | src/fix/fix.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/fix/fix.cc b/src/fix/fix.cc index d75e26b00930..8b8441050df6 100644 --- a/src/fix/fix.cc +++ b/src/fix/fix.cc @@ -384,7 +384,7 @@ static Expr evalExpr2(EvalState & state, Expr e) static Expr evalExpr(EvalState & state, Expr e) { startNest(nest, lvlVomit, - format("evaluating expression: %1%") % printTerm(e)); + format("evaluating expression: %1%") % e); /* Consult the memo table to quickly get the normal form of previously evaluated expressions. */ |