From 0e0f9879d4e0da614e88d08edfd43dac5ac76125 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Thu, 16 Oct 2008 15:51:14 +0000
Subject: Extraction of mutual types with alias: fix for bug #1965

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

diff --git a/contrib/extraction/ocaml.ml b/contrib/extraction/ocaml.ml
index f0ae3f2640..6038593c14 100644
--- a/contrib/extraction/ocaml.ml
+++ b/contrib/extraction/ocaml.ml
@@ -462,7 +462,7 @@ let pp_ind co kn ind =
     if i >= Array.length ind.ind_packets then mt () 
     else 
       let ip = (kn,i) in 
-      let ip_equiv = ind.ind_equiv, 0 in 
+      let ip_equiv = ind.ind_equiv, i in 
       let p = ind.ind_packets.(i) in 
       if is_custom (IndRef ip) then pp (i+1)
       else begin 
-- 
cgit v1.2.3