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

indentation

parent 780fba31
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/interval.ml
+ 2
− 1
View file @ a9d5d875
...@@ -117,7 +117,8 @@ let lift_unop f = function ...@@ -117,7 +117,8 @@ let lift_unop f = function
(* any unary operator over a float generates a rational (* any unary operator over a float generates a rational
TODO: actually, certainly possible to generate a float *) TODO: actually, certainly possible to generate a float *)
Rational Rational
| Rational | Real | Nan as i -> i | Rational | Real | Nan as i ->
i
let lift_binop ~safe_float f i1 i2 = match i1, i2 with let lift_binop ~safe_float f i1 i2 = match i1, i2 with
| Ival iv, i when Ival.is_bottom iv -> i | Ival iv, i when Ival.is_bottom iv -> i
......
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