diff options
Diffstat (limited to 'testsuite/tests/lib-runtime-events/test_instrumented.ml')
-rw-r--r-- | testsuite/tests/lib-runtime-events/test_instrumented.ml | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/testsuite/tests/lib-runtime-events/test_instrumented.ml b/testsuite/tests/lib-runtime-events/test_instrumented.ml index 94727d13fd..5c49db90af 100644 --- a/testsuite/tests/lib-runtime-events/test_instrumented.ml +++ b/testsuite/tests/lib-runtime-events/test_instrumented.ml @@ -1,9 +1,8 @@ (* TEST - include runtime_events - flags = "-runtime-variant=i" - - * instrumented-runtime - ** native + include runtime_events; + flags = "-runtime-variant=i"; + instrumented-runtime; + native; *) open Runtime_events |