diff --git a/src/plugins/value/partitioning/partition.ml b/src/plugins/value/partitioning/partition.ml
index 622fdf25cce952ad9caed93731927f990ab40cc8..b1c1c6f7e2444d0c53b2ea3cd6f2f3b7e1c0d8b3 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