[wp] indent with 1.7.0

src/plugins/wp/GuiNavigator.ml

@@ -395,26 +395,26 @@ let model_varinfo :
   Design.main_window_extension_points ->
   button:int -> Pretty_source.localizable -> unit =
   fun _menu main ~button item ->
-    let open Pretty_source in
-    let open Cil_types in
-    match item with
-    | PLval(Some kf, _ , (Var x,NoOffset))
-    | PTermLval(Some kf, _, _, (TVar {lv_origin=Some x},TNoOffset))
-      when button=1 ->
-        let init = WpStrategy.is_main_init kf in
-        let acc = RefUsage.get ~kf ~init x in
-        let model = match acc with
-          | RefUsage.NoAccess -> "any"
-          | RefUsage.ByValue -> "'var'"
-          | RefUsage.ByRef -> "'ref'"
-          | RefUsage.ByArray when x.vformal && Cil.isPointerType x.vtype
-            -> "'caveat'"
-          | _ -> "'typed'"
-        in
-        main#pretty_information
-          "Is is accessed as %t and fits in %s wp-model@."
-          (RefUsage.print x acc) model ;
-    | _ -> ()
+  let open Pretty_source in
+  let open Cil_types in
+  match item with
+  | PLval(Some kf, _ , (Var x,NoOffset))
+  | PTermLval(Some kf, _, _, (TVar {lv_origin=Some x},TNoOffset))
+    when button=1 ->
+      let init = WpStrategy.is_main_init kf in
+      let acc = RefUsage.get ~kf ~init x in
+      let model = match acc with
+        | RefUsage.NoAccess -> "any"
+        | RefUsage.ByValue -> "'var'"
+        | RefUsage.ByRef -> "'ref'"
+        | RefUsage.ByArray when x.vformal && Cil.isPointerType x.vtype
+          -> "'caveat'"
+        | _ -> "'typed'"
+      in
+      main#pretty_information
+        "Is is accessed as %t and fits in %s wp-model@."
+        (RefUsage.print x acc) model ;
+  | _ -> ()
 
 (* -------------------------------------------------------------------------- *)
 (* --- Make Panel and Extend Frama-C GUI                                  --- *)