From 53ff175479ca9993c4c57e3bb71c527b9c2a5053 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 6 Apr 2006 13:09:32 +0000
Subject: Suppression de stmtlist dans Cminor

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

(limited to 'caml/RTLgenaux.ml')

diff --git a/caml/RTLgenaux.ml b/caml/RTLgenaux.ml
index 3e6ca3d3..336346af 100644
--- a/caml/RTLgenaux.ml
+++ b/caml/RTLgenaux.ml
@@ -1,3 +1,3 @@
 open Cminor
 
-let more_likely (c: condexpr) (ifso: stmtlist) (ifnot: stmtlist) = false
+let more_likely (c: condexpr) (ifso: stmt) (ifnot: stmt) = false
-- 
cgit