From e7b631d5efadf79bb60ee11564d9b035347a5e8b Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 19 Sep 2019 17:26:11 +0200
Subject: [PATCH] [Override Std] New default: Disabled
---
src/plugins/override_std/options.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/override_std/options.ml b/src/plugins/override_std/options.ml
index 2c10031bd38..77011bea940 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 = ""
--
GitLab