From 3d7ea6a03bc83fce4e2ebdabdcaf10e5afc26a78 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 7 Jan 2008 08:36:37 +0000
Subject: Completion of 10427...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10429 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/interface/xlate.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'contrib/interface')

diff --git a/contrib/interface/xlate.ml b/contrib/interface/xlate.ml
index 05c227de03..5e82b85bce 100644
--- a/contrib/interface/xlate.ml
+++ b/contrib/interface/xlate.ml
@@ -334,7 +334,7 @@ and
   | a::l -> CT_match_pattern_ne_list(xlate_match_pattern a, 
                                      List.map xlate_match_pattern l)
 and  translate_one_equation = function
-    (_,[lp], a) -> CT_eqn (xlate_match_pattern_ne_list lp, xlate_formula a)
+    (_,[_,lp], a) -> CT_eqn (xlate_match_pattern_ne_list lp, xlate_formula a)
   | _ -> xlate_error "TODO: disjunctive multiple patterns"
 and 
   xlate_binder_ne_list = function
-- 
cgit v1.2.3