diff --git a/src/plugins/override_std/options.ml b/src/plugins/override_std/options.ml index 2c10031bd382c5d601fb74f437d798657479a353..77011bea940668677d75cbe1514ac1fdcffadf36 100644 --- a/src/plugins/override_std/options.ml +++ b/src/plugins/override_std/options.ml @@ -30,7 +30,7 @@ include Plugin.Register let help = "Overrides standard library functions" end) -module Enabled = True +module Enabled = False (struct let option_name = "-override-std-perform" let help = ""