From 780fba3189a156f403388bcb097b633ac7ad7d15 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Tue, 27 Aug 2019 16:10:06 +0200
Subject: [PATCH] indentation
---
src/plugins/e-acsl/interval.ml | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/src/plugins/e-acsl/interval.ml b/src/plugins/e-acsl/interval.ml
index 2798531dc97..3fcdc8e37c7 100644
--- a/src/plugins/e-acsl/interval.ml
+++ b/src/plugins/e-acsl/interval.ml
@@ -148,14 +148,16 @@ let lift_binop ~safe_float f i1 i2 = match i1, i2 with
| FDouble ->
-. Transitioning.Float.max_float,
Transitioning.Float.max_float
- | FLongDouble -> raise Exit
+ | FLongDouble ->
+ raise Exit
in
if mini >= minf && maxi <= maxf then Float(k, None) else Rational
with Z.Overflow | Exit ->
Rational)
| None, Some _ | Some _, None ->
assert false
- else Rational (* sound over-approximation *)
+ else
+ Rational (* sound over-approximation *)
| (Ival _ | Float _ | Rational), (Float _ | Rational)
| Rational, Ival _ ->
Rational
--
GitLab