From a9d5d8755cecf3094be165e5e59f4fb185dc4ddf Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Tue, 27 Aug 2019 16:27:45 +0200
Subject: [PATCH] indentation
---
src/plugins/e-acsl/interval.ml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/interval.ml b/src/plugins/e-acsl/interval.ml
index 3fcdc8e37c7..bdb28cf0ffa 100644
--- a/src/plugins/e-acsl/interval.ml
+++ b/src/plugins/e-acsl/interval.ml
@@ -117,7 +117,8 @@ let lift_unop f = function
(* any unary operator over a float generates a rational
TODO: actually, certainly possible to generate a float *)
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
| Ival iv, i when Ival.is_bottom iv -> i
--
GitLab