From b39216740390e77f06a73d628ada60c42370c6d3 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Sat, 14 Aug 2021 17:47:38 +0200
Subject: [PATCH] [e-acsl:interval] lint
---
src/plugins/e-acsl/src/analyses/interval.ml | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/src/plugins/e-acsl/src/analyses/interval.ml b/src/plugins/e-acsl/src/analyses/interval.ml
index a17d2b3b7f5..7329f19e69a 100644
--- a/src/plugins/e-acsl/src/analyses/interval.ml
+++ b/src/plugins/e-acsl/src/analyses/interval.ml
@@ -380,12 +380,12 @@ let interv_of_extended_quantifier lambda lb up name =
let lower_bound = match min_lambda with
| None -> None
| Some z -> Some (Z.mul z min_iteration_number)
- in
- let upper_bound = match max_lambda, max_iteration_number with
- | None, _ | _, None -> None
- | Some z, Some n -> Some (Z.mul z n)
- in
- Ival (Ival.inject_range lower_bound upper_bound)
+ in
+ let upper_bound = match max_lambda, max_iteration_number with
+ | None, _ | _, None -> None
+ | Some z, Some n -> Some (Z.mul z n)
+ in
+ Ival (Ival.inject_range lower_bound upper_bound)
with Abstract_interp.Error_Bottom ->
bottom)
| _, _, _, "\\product" -> Error.not_yet "product"
--
GitLab