From 325664030251d90e6d0311cad6895bc386e60996 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 10 Feb 2022 11:46:11 +0100
Subject: [PATCH] [Reduc] Minor changes.
---
src/plugins/reduc/hyp.ml | 4 ++--
src/plugins/reduc/value2acsl.mli | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/plugins/reduc/hyp.ml b/src/plugins/reduc/hyp.ml
index 882e9a63c23..478be2e40ea 100644
--- a/src/plugins/reduc/hyp.ml
+++ b/src/plugins/reduc/hyp.ml
@@ -20,9 +20,9 @@
(* *)
(**************************************************************************)
-let pred_opt_from_expr_state state e =
+let pred_opt_from_expr_state stmt e =
try
- Value2acsl.lval_to_predicate state e
+ Value2acsl.lval_to_predicate stmt e
with
| Cvalue.V.Not_based_on_null ->
Misc.not_implemented ~what:"Value not based on null";
diff --git a/src/plugins/reduc/value2acsl.mli b/src/plugins/reduc/value2acsl.mli
index 4d1aacea7b0..e69aca30b89 100644
--- a/src/plugins/reduc/value2acsl.mli
+++ b/src/plugins/reduc/value2acsl.mli
@@ -27,5 +27,5 @@ open Cil_types
@return None if no such predicate can be created. *)
val value_to_predicate_opt: ?loc:location -> term -> Cvalue.V.t -> predicate option
-val lval_to_predicate: ?loc:location -> Cil_types.stmt -> lval -> predicate option
-val exp_to_predicate: ?loc:location -> Cil_types.stmt -> exp -> predicate option
+val lval_to_predicate: ?loc:location -> stmt -> lval -> predicate option
+val exp_to_predicate: ?loc:location -> stmt -> exp -> predicate option
--
GitLab