From 8abd3504ad511621ddcd298f0778a5e1d3d4883c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Fri, 5 Feb 2021 18:48:14 +0100
Subject: [PATCH] [wp] new cfg : turn legacy off
---
src/plugins/wp/wp_parameters.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/wp/wp_parameters.ml b/src/plugins/wp/wp_parameters.ml
index 38c898654f4..87e0a0e59fb 100644
--- a/src/plugins/wp/wp_parameters.ml
+++ b/src/plugins/wp/wp_parameters.ml
@@ -57,7 +57,7 @@ let () = on_reset WP.clear
let () = Parameter_customize.set_group wp_generation
module Legacy =
- True(struct
+ False(struct
let option_name = "-wp-legacy"
let help = "Use legacy generator engine."
end)
--
GitLab