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/PrintPPC.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'caml/PrintPPC.ml')

diff --git a/caml/PrintPPC.ml b/caml/PrintPPC.ml
index 3edcb2ba..b9eb7286 100644
--- a/caml/PrintPPC.ml
+++ b/caml/PrintPPC.ml
@@ -4,7 +4,7 @@
 
 open Printf
 open Datatypes
-open List
+open CList
 open Camlcoq
 open AST
 open PPC
-- 
cgit