From b6e17910ddf7874e2d6d02623414674a654f9fcc Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 9 Mar 2006 09:38:44 +0000
Subject: Renommage List -> CList lors de l'extraction

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@8 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 caml/Camlcoq.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'caml/Camlcoq.ml')

diff --git a/caml/Camlcoq.ml b/caml/Camlcoq.ml
index c3d96658..80ac5c0f 100644
--- a/caml/Camlcoq.ml
+++ b/caml/Camlcoq.ml
@@ -1,7 +1,7 @@
 (* Library of useful Caml <-> Coq conversions *)
 
 open Datatypes
-open List
+open CList
 open BinPos
 open BinInt
 
-- 
cgit