From 2199fd1838ab1c32d55c760e92b97077d8eaae50 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 17 Aug 2009 14:24:34 +0000
Subject: Refactored Selection.v and Selectionproof.v into a machine-dependent
 part + a machine-independent part.

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

(limited to 'powerpc/PrintAsm.ml')

diff --git a/powerpc/PrintAsm.ml b/powerpc/PrintAsm.ml
index aa327731..e86b7dc4 100644
--- a/powerpc/PrintAsm.ml
+++ b/powerpc/PrintAsm.ml
@@ -182,8 +182,8 @@ let (text, data, const_data, float_literal) =
   | Diab ->
       (".text",
        ".data",
-       ".const",  (* to check *)
-       ".const")  (* to check *)
+       ".data",  (* to check *)
+       ".data")  (* to check *)
 
 (* Encoding masks for rlwinm instructions *)
 
-- 
cgit