diff options
Diffstat (limited to 'testsuite/tests/typing-warnings/pr7297.ml')
-rw-r--r-- | testsuite/tests/typing-warnings/pr7297.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/typing-warnings/pr7297.ml b/testsuite/tests/typing-warnings/pr7297.ml index fba56c934c..572bdb2c95 100644 --- a/testsuite/tests/typing-warnings/pr7297.ml +++ b/testsuite/tests/typing-warnings/pr7297.ml @@ -15,5 +15,6 @@ Line 1, characters 9-19: 1 | let () = raise Exit; () ;; (* warn *) ^^^^^^^^^^ Warning 21 [nonreturning-statement]: this statement never returns (or has an unsound type.) + Exception: Stdlib.Exit. |}] |