From 88ae45a6bd1d146d26a27997a37972287ea9d7e9 Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime2.jacquemin@gmail.com>
Date: Tue, 29 Mar 2022 09:25:47 +0200
Subject: [PATCH] [ivette] For the linter

---
 src/plugins/server/kernel_ast.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/plugins/server/kernel_ast.ml b/src/plugins/server/kernel_ast.ml
index 284ed205b4c..79f0e41a068 100644
--- a/src/plugins/server/kernel_ast.ml
+++ b/src/plugins/server/kernel_ast.ml
@@ -802,8 +802,8 @@ let build_marker = Option.map @@ fun input ->
 let descr = "Build a marker from an ACSL term."
 
 let () = Request.register ~package
-  ~kind:`GET ~name:"markerFromTerm" ~descr:(Markdown.plain descr)
-  ~input:(module MarkerTermInput) ~output:(module MarkerTermOutput)
-  build_marker
+    ~kind:`GET ~name:"markerFromTerm" ~descr:(Markdown.plain descr)
+    ~input:(module MarkerTermInput) ~output:(module MarkerTermOutput)
+    build_marker
 
 (**************************************************************************)
-- 
GitLab