From d1cdc0496d7d52e3ab91554dbf53fcc0e7f244eb Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Fri, 17 Apr 2009 13:27:48 +0000
Subject: Various clean-ups

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1033 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 arm/PrintAsm.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'arm/PrintAsm.ml')

diff --git a/arm/PrintAsm.ml b/arm/PrintAsm.ml
index f51a15b..da0b5d1 100644
--- a/arm/PrintAsm.ml
+++ b/arm/PrintAsm.ml
@@ -178,8 +178,7 @@ let call_helper oc fn dst arg1 arg2 =
   (* Move result to dst *)
   begin match dst with
   | IR0 -> ()
-  | _   -> 
-      fprintf oc "	mov	%a, r0\n" ireg dst
+  | _   -> fprintf oc "	mov	%a, r0\n" ireg dst
   end;
   (* Restore the other caller-save registers *)
   fprintf oc "	ldmfd	sp!, {%a}\n" print_list_ireg tosave;
-- 
cgit v1.2.3