diff options
Diffstat (limited to 'testsuite/tests/utils/find_first_mono.ml')
-rw-r--r-- | testsuite/tests/utils/find_first_mono.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/utils/find_first_mono.ml b/testsuite/tests/utils/find_first_mono.ml index 80ea5e6255..1970eb9e40 100644 --- a/testsuite/tests/utils/find_first_mono.ml +++ b/testsuite/tests/utils/find_first_mono.ml @@ -1,8 +1,8 @@ (* TEST -include config -include testing -binary_modules = "config build_path_prefix_map misc" -* bytecode + include config; + include testing; + binary_modules = "config build_path_prefix_map misc"; + bytecode; *) let check_and_count_calls n = |