diff options
Diffstat (limited to 'test/ocaml/trycatch')
| -rw-r--r-- | test/ocaml/trycatch/tc.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/ocaml/trycatch/tc.sail b/test/ocaml/trycatch/tc.sail index b805f3fa..f788305d 100644 --- a/test/ocaml/trycatch/tc.sail +++ b/test/ocaml/trycatch/tc.sail @@ -18,6 +18,6 @@ function main () = { } } -union clause exception = Test_other +union clause exception = Test_other : unit end exception
\ No newline at end of file |