diff --git a/src/plugins/e-acsl/src/analyses/interval.ml b/src/plugins/e-acsl/src/analyses/interval.ml
index dc549cdc80a1520ee209a04441067f4894ac7077..61dc1cd07a785516a3e6d3d19585b61a90a18282 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