diff --git a/src/plugins/rte/visit.ml b/src/plugins/rte/visit.ml
index 0a7c6fa81bade657dc88df46fe46b30ea9fda3b7..41f597a4fc075a37c252d2f6f2634c8d1842b0e6 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)