From 355b4abcee015c3fae9ac5653c25259e104a886c Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sat, 4 Aug 2007 07:27:50 +0000
Subject: Fusion des modifications faites sur les branches "tailcalls" et
 "smallstep". En particulier: - Semantiques small-step depuis RTL jusqu'a PPC
 - Cminor independant du processeur - Ajout passes Selection et Reload - Ajout
 des langages intermediaires CminorSel et LTLin correspondants - Ajout des
 tailcalls depuis Cminor jusqu'a PPC

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@384 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 extraction/convert | 1 +
 1 file changed, 1 insertion(+)

(limited to 'extraction/convert')

diff --git a/extraction/convert b/extraction/convert
index a29178a1..b3d25336 100755
--- a/extraction/convert
+++ b/extraction/convert
@@ -1,6 +1,7 @@
 #!/usr/bin/perl -pi
 
 s/\bList\b/CList/g;
+s/\bString\b/CString/g;
 s/\bInt\.Z_as_Int\b/CInt.Z_as_Int/g;
 s/\bInt\.Int\b/CInt.Int/g;
 s/\bInt\.MoreInt\b/CInt.MoreInt/g;
-- 
cgit