diff options
Diffstat (limited to 'testsuite/tests/utils/magic_number.ml')
-rw-r--r-- | testsuite/tests/utils/magic_number.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/utils/magic_number.ml b/testsuite/tests/utils/magic_number.ml index a443e253e5..42664ec80b 100644 --- a/testsuite/tests/utils/magic_number.ml +++ b/testsuite/tests/utils/magic_number.ml @@ -1,7 +1,7 @@ (* TEST -include config -binary_modules = "config build_path_prefix_map misc" -* bytecode + include config; + binary_modules = "config build_path_prefix_map misc"; + bytecode; *) open Misc |