diff options
Diffstat (limited to 'ocamltest/ocamltest_config.mli')
| -rw-r--r-- | ocamltest/ocamltest_config.mli | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/ocamltest/ocamltest_config.mli b/ocamltest/ocamltest_config.mli index 3ce8c9558e..ce9e084bdf 100644 --- a/ocamltest/ocamltest_config.mli +++ b/ocamltest/ocamltest_config.mli @@ -73,9 +73,6 @@ val ocamlsrcdir : string val flambda : bool (** Whether flambda has been enabled at configure time *) -val safe_string : bool -(** Whether the compiler was configured with -safe-string *) - val flat_float_array : bool (* Whether the compiler was configured with -flat-float-array *) |