Fmt

engine/backends/coq/ssprove/ssprove_backend.ml

@@ -856,7 +856,7 @@ struct
         SSP.AST.TuplePat (List.map ~f:(fun { pat } -> ppat pat) args)
     (* Record *)
     | PConstruct { name; args; is_record = true } ->
-      __TODO_pat__ p.span "record pattern"
+        __TODO_pat__ p.span "record pattern"
     (* (\* SSP.AST.Ident (pglobal_ident name) *\) *)
     (* SSP.AST.RecordPat (pglobal_ident name, List.map ~f:(fun {field; pat} -> (pglobal_ident field, ppat pat)) args) *)
     (*       (\* SSP.AST.ConstructorPat (pglobal_ident name ^ "_case", [SSP.AST.Ident "temp"]) *\) *)

engine/bin/lib.ml

@@ -25,8 +25,8 @@ end)
 module Attrs = Attr_payloads.MakeBase (Error)
 
 let import_thir_items (include_clauses : Types.inclusion_clause list)
-    (items : Types.item_for__decorated_for__expr_kind list) (options : Types.engine_options) : Ast.Rust.item list
-    =
+    (items : Types.item_for__decorated_for__expr_kind list)
+    (options : Types.engine_options) : Ast.Rust.item list =
   let result = List.map ~f:Import_thir.import_item items |> List.map ~f:snd in
   let items = List.concat_map ~f:fst result in
   let ident_to_reports =
@@ -47,7 +47,8 @@ let import_thir_items (include_clauses : Types.inclusion_clause list)
   let items =
     match options.backend.backend with
     | Coq | Ssprove -> items
-    | _ -> Deps.sort items in
+    | _ -> Deps.sort items
+  in
   let reports =
     List.concat_map
       ~f:(fun (item : Ast.Rust.item) ->