diff options
Diffstat (limited to 'tests/pending/run/try-catch-unify.check')
| -rw-r--r-- | tests/pending/run/try-catch-unify.check | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/tests/pending/run/try-catch-unify.check b/tests/pending/run/try-catch-unify.check deleted file mode 100644 index 67a8c64a3..000000000 --- a/tests/pending/run/try-catch-unify.check +++ /dev/null @@ -1,4 +0,0 @@ -Failure(java.lang.NumberFormatException: For input string: "Hi") -Success(5.0) -O NOES -Failure(java.lang.NumberFormatException: For input string: "Hi") |