From 5ee4141e04696fe82f4291723a9574a4830479a2 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 14 Jul 2020 17:37:36 +0200
Subject: Uniformizing indentation in ppvernac.ml.

---
 vernac/ppvernac.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/vernac/ppvernac.ml b/vernac/ppvernac.ml
index 00a5727af6..01873918aa 100644
--- a/vernac/ppvernac.ml
+++ b/vernac/ppvernac.ml
@@ -271,9 +271,9 @@ let pr_reference_or_constr pr_c = function
   | HintsConstr c -> pr_c c
 
 let pr_hint_mode = let open Hints in function
-    | ModeInput -> str"+"
-    | ModeNoHeadEvar -> str"!"
-    | ModeOutput -> str"-"
+  | ModeInput -> str"+"
+  | ModeNoHeadEvar -> str"!"
+  | ModeOutput -> str"-"
 
 let pr_hint_info pr_pat { Typeclasses.hint_priority = pri; hint_pattern = pat } =
   pr_opt (fun x -> str"|" ++ int x) pri ++
-- 
cgit v1.2.3