From a6641e1b1ca9984b852879f045f114eefafb951a Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 30 Jul 2021 17:45:28 +0200
Subject: [PATCH] [e-acsl] style
---
src/plugins/e-acsl/src/analyses/bound_variables.ml | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/src/plugins/e-acsl/src/analyses/bound_variables.ml b/src/plugins/e-acsl/src/analyses/bound_variables.ml
index 34f38884c53..c893fa97761 100644
--- a/src/plugins/e-acsl/src/analyses/bound_variables.ml
+++ b/src/plugins/e-acsl/src/analyses/bound_variables.ml
@@ -500,6 +500,7 @@ end = struct
Printer.pp_relation Rlt Printer.pp_relation Rle)
in
Error.untypable msg
+
end
(******************************************************************************)
@@ -718,8 +719,8 @@ let normalize_guard ~loc (t1, rel1, lv, rel2, t2) =
| Rgt | Rge | Req | Rneq ->
assert false
in
- let t1, t2, guard_for_small_type = bounds_for_small_types ~loc (t1, lv, t2)
- in Quantifier.add_guard_for_small_type lv guard_for_small_type;
+ let t1, t2, guard_for_small_type = bounds_for_small_types ~loc (t1, lv, t2) in
+ Quantifier.add_guard_for_small_type lv guard_for_small_type;
t1, lv, t2
let compute_guards loc ~is_forall p bounded_vars hyps =
--
GitLab