diff --git a/src/plugins/override_std/options.ml b/src/plugins/override_std/options.ml index 77011bea940668677d75cbe1514ac1fdcffadf36..92381aa5ecac64648e8063cd36edfade420e569f 100644 --- a/src/plugins/override_std/options.ml +++ b/src/plugins/override_std/options.ml @@ -32,7 +32,7 @@ include Plugin.Register module Enabled = False (struct - let option_name = "-override-std-perform" + let option_name = "-override-std" let help = "" end)