diff options
Diffstat (limited to 'test/files/continuations-run/while2.check')
| -rw-r--r-- | test/files/continuations-run/while2.check | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/test/files/continuations-run/while2.check b/test/files/continuations-run/while2.check deleted file mode 100644 index 9fe515181b..0000000000 --- a/test/files/continuations-run/while2.check +++ /dev/null @@ -1,19 +0,0 @@ -up -up -up -up -up -up -up -up -up -9000 -down -down -down -down -down -down -down -down -down |