diff options
Diffstat (limited to 'utils/config.mli')
-rw-r--r-- | utils/config.mli | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/utils/config.mli b/utils/config.mli index c4333c055c..fb0d733509 100644 --- a/utils/config.mli +++ b/utils/config.mli @@ -239,10 +239,6 @@ val supports_shared_libraries: bool @since 4.08 *) -val force_instrumented_runtime: bool -(** Force runtime-variant to be "i" at configure time - when ocamlc or ocamlopt link executables. *) - val afl_instrument : bool (** Whether afl-fuzz instrumentation is generated by default *) |