From 2245717b5800da80371952999bc0cff5f75aa490 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 1 Jan 2009 12:47:42 +0000
Subject: Continuation of ARM port. Cleaned up Makefile and SVN properties.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@935 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 arm/Selection.v | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'arm/Selection.v')

diff --git a/arm/Selection.v b/arm/Selection.v
index d5eb6b8b..1b5411b1 100644
--- a/arm/Selection.v
+++ b/arm/Selection.v
@@ -1390,5 +1390,6 @@ Definition sel_fundef (f: Cminor.fundef) : fundef :=
 Definition sel_program (p: Cminor.program) : program :=
   transform_program sel_fundef p.
 
+(** For compatibility with PowerPC *)
 
-
+Parameter use_fused_mul: unit -> bool.
-- 
cgit