From 39c51b33c6eb775cc3caf0f66f2520beaf727df3 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 24 Mar 2023 08:15:23 +0100
Subject: [PATCH] lint
---
src/kernel_services/ast_queries/file.ml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/kernel_services/ast_queries/file.ml b/src/kernel_services/ast_queries/file.ml
index a8de4fc074a..f7e3d6c5dbe 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
--
GitLab