From 7d1789f98d9f25970bd5c80880a6b6c0580c777f Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 21 Feb 2019 10:54:57 +0100
Subject: [PATCH] indent
---
src/plugins/rte/visit.ml | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/plugins/rte/visit.ml b/src/plugins/rte/visit.ml
index 0a7c6fa81ba..41f597a4fc0 100644
--- a/src/plugins/rte/visit.ml
+++ b/src/plugins/rte/visit.ml
@@ -72,19 +72,19 @@ class annot_visitor kf flags on_alarm = object (self)
method private do_signed_overflow () =
flags.Flags.signed_overflow
- && not (Generator.Signed_overflow.is_computed kf)
+ && not (Generator.Signed_overflow.is_computed kf)
method private do_unsigned_overflow () =
flags.Flags.unsigned_overflow
- && not (Generator.Unsigned_overflow.is_computed kf)
+ && not (Generator.Unsigned_overflow.is_computed kf)
method private do_signed_downcast () =
flags.Flags.signed_downcast
- && not (Generator.Signed_downcast.is_computed kf)
+ && not (Generator.Signed_downcast.is_computed kf)
method private do_unsigned_downcast () =
flags.Flags.unsigned_downcast
- && not (Generator.Unsigned_downcast.is_computed kf)
+ && not (Generator.Unsigned_downcast.is_computed kf)
method private do_float_to_int () =
flags.Flags.float_to_int && not (Generator.Float_to_int.is_computed kf)
--
GitLab