From e08245e74ef52395052b926fc39d79e52f59af09 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 20 Aug 1999 15:00:59 +0000
Subject: machine: execute = typage avec univers

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@18 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/changements.txt | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev')

diff --git a/dev/changements.txt b/dev/changements.txt
index 0d007bd300..c0ccbabfe9 100644
--- a/dev/changements.txt
+++ b/dev/changements.txt
@@ -32,6 +32,7 @@ Changements dans les fonctions :
 	  vect_it_from     ->  array_fold_right_from
 	  app_tl_vect	   ->  array_app_tl
 	  cons_vect	   ->  array_cons
+	  map_i_vect	   ->  Array.mapi
 
 	Std 
 	  comp           ->  Util.compose
-- 
cgit v1.2.3