diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-21 16:22:03 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-21 16:22:03 +0000 |
commit | 7148df797174ff742fdd8cee3c2d92e6340ee930 (patch) | |
tree | 4763cb338f8267c2e0be3200bd6a7c4df4af22d3 /tests/lang/eval-okay-remove.exp | |
parent | 6f0f16497a8ce671c2aa9ff3cd9a27eb1f931cf2 (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.exp | 2 |
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 |