aboutsummaryrefslogtreecommitdiff
path: root/tests/lang/eval-okay-remove.exp
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2010-04-21 16:22:03 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2010-04-21 16:22:03 +0000
commit7148df797174ff742fdd8cee3c2d92e6340ee930 (patch)
tree4763cb338f8267c2e0be3200bd6a7c4df4af22d3 /tests/lang/eval-okay-remove.exp
parent6f0f16497a8ce671c2aa9ff3cd9a27eb1f931cf2 (diff)
* Update the expected test output (no longer an ATerm).
Diffstat (limited to 'tests/lang/eval-okay-remove.exp')
-rw-r--r--tests/lang/eval-okay-remove.exp2
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/lang/eval-okay-remove.exp b/tests/lang/eval-okay-remove.exp
index e22e6b1b2..8d38505c1 100644
--- a/tests/lang/eval-okay-remove.exp
+++ b/tests/lang/eval-okay-remove.exp
@@ -1 +1 @@
-Int(456)
+456