From 5cd8b2d7f580b3957ee1afdf7002d698bf65216f Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 16 Sep 2019 15:29:46 +0200
Subject: [PATCH] [WP] Removes old commented modules
---
src/plugins/wp/wp_parameters.mli | 4 ----
1 file changed, 4 deletions(-)
diff --git a/src/plugins/wp/wp_parameters.mli b/src/plugins/wp/wp_parameters.mli
index caddc97a0fe..70088bab415 100644
--- a/src/plugins/wp/wp_parameters.mli
+++ b/src/plugins/wp/wp_parameters.mli
@@ -55,10 +55,6 @@ module InCtxt : Parameter_sig.String_set
module ExternArrays: Parameter_sig.Bool
module Literals : Parameter_sig.Bool
module Volatile : Parameter_sig.Bool
-(* module Overflows : Parameter_sig.Bool *)
-(* use get_overflows() below *)
-(* module BoolRange : Parameter_sig.Bool *)
-(* use get_bool_range() below *)
(** {2 Computation Strategies} *)
--
GitLab