diff options
Diffstat (limited to 'testsuite/tests/regression/pr11887/pr11887.ml')
-rw-r--r-- | testsuite/tests/regression/pr11887/pr11887.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/regression/pr11887/pr11887.ml b/testsuite/tests/regression/pr11887/pr11887.ml index 9e7fc6da65..858ae3e2dc 100644 --- a/testsuite/tests/regression/pr11887/pr11887.ml +++ b/testsuite/tests/regression/pr11887/pr11887.ml @@ -1,6 +1,6 @@ (* TEST - * native - ocamlopt_flags = "-dcmm-invariants" + ocamlopt_flags = "-dcmm-invariants"; + native; *) module Constant = struct |