From bd85aba84475dd956af21c461c44a584958099d1 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sat, 14 Jul 2012 08:05:36 +0000
Subject: Support for indirect symbols under MacOS X (final). Remove stdio hack
 in runtime/

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

(limited to 'ia32/PrintAsm.ml')

diff --git a/ia32/PrintAsm.ml b/ia32/PrintAsm.ml
index ec3cf2a..8b795ee 100644
--- a/ia32/PrintAsm.ml
+++ b/ia32/PrintAsm.ml
@@ -511,7 +511,7 @@ let print_instruction oc = function
       fprintf oc "	movl	%a, %a\n" ireg r1 ireg rd
   | Pmov_ri(rd, n) ->
       fprintf oc "	movl	$%ld, %a\n" (camlint_of_coqint n) ireg rd
-  | Pmov_raddr(rd, id) ->
+  | Pmov_ra(rd, id) ->
       if target = MacOS then begin
         let id = extern_atom id in
         indirect_symbols := StringSet.add id !indirect_symbols;
-- 
cgit v1.2.3