Skip to content
Snippets Groups Projects
Commit 025382cb authored by Julien Signoles's avatar Julien Signoles
Browse files

[e-acsl] remove useless comment

parent 8423a09c
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/src/analyses/interval.ml
+ 0
− 1
View file @ 025382cb
...@@ -614,7 +614,6 @@ let infer_sum_product oper lambda min max = match lambda, min, max with ...@@ -614,7 +614,6 @@ let infer_sum_product oper lambda min max = match lambda, min, max with
min min
in in
let ub = let ub =
(* the upper bound is always (possibly) positive *)
Extlib.opt_map2 Extlib.opt_map2
(fun m max -> (fun m max ->
match max_lambda with match max_lambda with
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment