From 99cdbc25a3a92545544a087ed55240c488b42fc9 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Wed, 11 Jun 2014 16:55:29 +0200
Subject: Fix bug #3289

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

(limited to 'interp')

diff --git a/interp/constrintern.ml b/interp/constrintern.ml
index 475f8d396c..841a895849 100644
--- a/interp/constrintern.ml
+++ b/interp/constrintern.ml
@@ -1496,7 +1496,7 @@ let internalize globalenv env allow_patvar lvar c =
 	let cargs =
 	  sort_fields true loc fs
 	    (fun k l -> CHole (loc, Some (Evar_kinds.QuestionMark (Evar_kinds.Define true)), None) :: l)
-	  in
+	in
 	begin
 	  match cargs with
 	    | None -> user_err_loc (loc, "intern", str"No constructor inference.")
-- 
cgit v1.2.3