Linter

src/kernel_services/ast_queries/logic_typing.mli

@@ -401,7 +401,7 @@ val set_deprecated_extension_handler:
            (typing_context -> location -> Logic_ptree.lexpr list ->
             acsl_extension_kind) ->
            unit) ->
-           unit
+  unit
 
 (*
 Local Variables:

src/plugins/value/utils/widen_hints_ext.ml

@@ -153,7 +153,7 @@ let printer _pp fmt ext =
     | Some (hint_lval, hint_terms) ->
       Format.fprintf fmt "%a%a, %a"
         (Pretty_utils.pp_list ~sep:" " ~suf:":" Format.pp_print_string)
-         hint_lval.names pp_hvars hint_lval.vars
+        hint_lval.names pp_hvars hint_lval.vars
         (Pretty_utils.pp_list ~sep:", " Printer.pp_term) hint_terms
     | None ->
       Format.fprintf fmt "<invalid widen_hints>"

src/plugins/wp/RegionAnnot.ml

@@ -482,7 +482,7 @@ let specified =
 
 let register () =
   if Wp.Region.get () || Wp.Region_annot.get () ||
-    List.exists specified (Wp.Model.get ())
+     List.exists specified (Wp.Model.get ())
   then
     Acsl_extension.register_behavior
       "region" typecheck ~printer:pp_extension false