diff options
Diffstat (limited to 'testsuite/tests/lib-runtime-events/test_user_event_unknown.ml')
| -rw-r--r-- | testsuite/tests/lib-runtime-events/test_user_event_unknown.ml | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/testsuite/tests/lib-runtime-events/test_user_event_unknown.ml b/testsuite/tests/lib-runtime-events/test_user_event_unknown.ml index f5a63d46fd..447b7b5c55 100644 --- a/testsuite/tests/lib-runtime-events/test_user_event_unknown.ml +++ b/testsuite/tests/lib-runtime-events/test_user_event_unknown.ml @@ -1,10 +1,13 @@ (* TEST - include runtime_events - include unix - set OCAML_RUNTIME_EVENTS_PRESERVE = "1" - * libunix - ** bytecode - ** native + include runtime_events; + include unix; + set OCAML_RUNTIME_EVENTS_PRESERVE = "1"; + libunix; + { + bytecode; + }{ + native; + } *) open Runtime_events |