diff options
Diffstat (limited to 'utils/config.generated.ml.in')
-rw-r--r-- | utils/config.generated.ml.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/utils/config.generated.ml.in b/utils/config.generated.ml.in index af25f2ca1d..3808089004 100644 --- a/utils/config.generated.ml.in +++ b/utils/config.generated.ml.in @@ -78,7 +78,6 @@ let flambda = @flambda@ let with_flambda_invariants = @flambda_invariants@ let with_cmm_invariants = @cmm_invariants@ let windows_unicode = @windows_unicode@ != 0 -let force_instrumented_runtime = @force_instrumented_runtime@ let flat_float_array = @flat_float_array@ |