diff options
Diffstat (limited to 'testsuite/tests/callback/stack_overflow.ml')
-rw-r--r-- | testsuite/tests/callback/stack_overflow.ml | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/testsuite/tests/callback/stack_overflow.ml b/testsuite/tests/callback/stack_overflow.ml index 23691dcf6c..9b48df20e9 100644 --- a/testsuite/tests/callback/stack_overflow.ml +++ b/testsuite/tests/callback/stack_overflow.ml @@ -1,9 +1,12 @@ (* TEST - include unix - modules = "stack_overflow_.c" - * libunix - ** bytecode - ** native + include unix; + modules = "stack_overflow_.c"; + libunix; + { + bytecode; + }{ + native; + } *) external caml_to_c : (unit -> 'a) -> 'a = "caml_to_c" |