From 832685e5dc7c17c434146d353b60c2158e3edd11 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Tue, 21 Apr 2015 11:36:56 +0200
Subject: Cleanups and updates for extended asm.

---
 powerpc/TargetPrinter.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'powerpc/TargetPrinter.ml')

diff --git a/powerpc/TargetPrinter.ml b/powerpc/TargetPrinter.ml
index 99e2479d..b05b29c0 100644
--- a/powerpc/TargetPrinter.ml
+++ b/powerpc/TargetPrinter.ml
@@ -651,8 +651,7 @@ module Target (System : SYSTEM):TARGET =
       | Pbuiltin(ef, args, res) ->
           begin match ef with
           | EF_inline_asm(txt, sg, clob) ->
-              fprintf oc "%s begin inline assembly\n" comment;
-              fprintf oc "\t";
+              fprintf oc "%s begin inline assembly\n\t" comment;
               PrintAnnot.print_inline_asm preg oc (extern_atom txt) sg args res;
               fprintf oc "%s end inline assembly\n" comment
           | _ ->
-- 
cgit