diff --git a/src/kernel_services/ast_queries/file.ml b/src/kernel_services/ast_queries/file.ml
index a8de4fc074afda3d041c0373378d47e8b6837cd5..f7e3d6c5dbeb9e1142abba66247d16e88272e440 100644
--- a/src/kernel_services/ast_queries/file.ml
+++ b/src/kernel_services/ast_queries/file.ml
@@ -407,9 +407,9 @@ let get_machdep () =
       mach_of_yaml
   in
   match res with
-    | Ok machdep -> machdep
-    | Error (`Msg s) ->
-        Kernel.fatal "Error during machdep parsing: %s" s
+  | Ok machdep -> machdep
+  | Error (`Msg s) ->
+    Kernel.fatal "Error during machdep parsing: %s" s
 
 let print_machdep_header () =
   if Kernel.PrintMachdepHeader.get () then begin