From 025382cbcb9904004ba35d277caac29c67644911 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 7 Oct 2021 11:19:43 +0200
Subject: [PATCH] [e-acsl] remove useless comment
---
src/plugins/e-acsl/src/analyses/interval.ml | 1 -
1 file changed, 1 deletion(-)
diff --git a/src/plugins/e-acsl/src/analyses/interval.ml b/src/plugins/e-acsl/src/analyses/interval.ml
index dc549cdc80a..61dc1cd07a7 100644
--- a/src/plugins/e-acsl/src/analyses/interval.ml
+++ b/src/plugins/e-acsl/src/analyses/interval.ml
@@ -614,7 +614,6 @@ let infer_sum_product oper lambda min max = match lambda, min, max with
min
in
let ub =
- (* the upper bound is always (possibly) positive *)
Extlib.opt_map2
(fun m max ->
match max_lambda with
--
GitLab