diff options
Diffstat (limited to 'testsuite/tests/utils/edit_distance.ml')
-rw-r--r-- | testsuite/tests/utils/edit_distance.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/utils/edit_distance.ml b/testsuite/tests/utils/edit_distance.ml index 1ac1070136..cf2e60cba9 100644 --- a/testsuite/tests/utils/edit_distance.ml +++ b/testsuite/tests/utils/edit_distance.ml @@ -1,8 +1,8 @@ (* TEST -include config -include testing -binary_modules = "config build_path_prefix_map misc identifiable numbers" -* bytecode + include config; + include testing; + binary_modules = "config build_path_prefix_map misc identifiable numbers"; + bytecode; *) let edit_distance = Misc.edit_distance |