From df8f7447718ea8b7e205c71285509c036872e24b Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Sat, 2 Apr 2022 20:59:53 +0200
Subject: [PATCH] [Eva] Use binding operator
---
src/plugins/value/partitioning/partition.ml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/plugins/value/partitioning/partition.ml b/src/plugins/value/partitioning/partition.ml
index 622fdf25cce..b1c1c6f7e24 100644
--- a/src/plugins/value/partitioning/partition.ml
+++ b/src/plugins/value/partitioning/partition.ml
@@ -412,7 +412,7 @@ struct
let build i acc =
let value = Abstract.Val.inject_int (Cil.typeOf exp) i in
let state =
- Abstract.Eval.assume ~valuation state exp value >>- fun valuation ->
+ let* valuation = Abstract.Eval.assume ~valuation state exp value in
(* Check the reduction *)
Abstract.Dom.update (Abstract.Eval.to_domain_valuation valuation) state
in
@@ -472,8 +472,8 @@ struct
in
let source = fst (predicate.Cil_types.pred_loc) in
let aux positive =
- Abstract.Dom.reduce_by_predicate env state predicate positive
- >>-: fun state' ->
+ let+ state' =
+ Abstract.Dom.reduce_by_predicate env state predicate positive in
let x = Abstract.Dom.evaluate_predicate env state' predicate in
if x == Unknown
then
--
GitLab