From 4e4293dba98be63d44759f2a81c18ea7f1f01a08 Mon Sep 17 00:00:00 2001
From: msozeau
Date: Thu, 31 Jan 2008 16:23:14 +0000
Subject: Fix obvious syntax error. Forgot to recompile before commiting...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10493 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/subtac/subtac_pretyping_F.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/contrib/subtac/subtac_pretyping_F.ml b/contrib/subtac/subtac_pretyping_F.ml
index 9669acc230..a59d2483e2 100644
--- a/contrib/subtac/subtac_pretyping_F.ml
+++ b/contrib/subtac/subtac_pretyping_F.ml
@@ -493,7 +493,8 @@ module SubtacPretyping_F (Coercion : Coercion.S) = struct
 	let j = 
 	  pretype tycon env isevars lvar 
 	    (RCases (loc, None, [c], [p]))
-	(* Change case info *)
+	in
+	  (* Change case info *)
 	let j' = match kind_of_term j.uj_val with
 	    Case (ci, po, c, br) ->
 	      let pp_info = { ci.ci_pp_info with style = LetPatternStyle } in
-- 
cgit v1.2.3