From d14be61b4468573d7aa184fe6c8a0a7c8d5a0044 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 21 May 2019 13:53:06 +0200
Subject: Fixing an indentation in constrintern.ml.

---
 interp/constrintern.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/interp/constrintern.ml b/interp/constrintern.ml
index f06493b374..7fbf808a11 100644
--- a/interp/constrintern.ml
+++ b/interp/constrintern.ml
@@ -1845,7 +1845,7 @@ let internalize globalenv env pattern_mode (_, ntnvars as lvar) c =
 	in
 	  apply_impargs c env imp subscopes l loc
 
-      | CFix ({ CAst.loc = locid; v = iddef}, dl) ->
+    | CFix ({ CAst.loc = locid; v = iddef}, dl) ->
         let lf = List.map (fun ({CAst.v = id},_,_,_,_) -> id) dl in
         let dl = Array.of_list dl in
         let n =
-- 
cgit v1.2.3