From e96b2dd600239a44b5d857d23dfacd4733583fe4 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 2 May 2010 07:46:23 +0000
Subject: Pretty-printers for RTL and LTL.  Not yet well integrated.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1332 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 powerpc/Machregsaux.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'powerpc/Machregsaux.mli')

diff --git a/powerpc/Machregsaux.mli b/powerpc/Machregsaux.mli
index 6d819882..400c5abb 100644
--- a/powerpc/Machregsaux.mli
+++ b/powerpc/Machregsaux.mli
@@ -14,3 +14,4 @@
 
 val register_by_name: string -> Machregs.mreg option
 val can_reserve_register: Machregs.mreg -> bool
+val name_of_register: Machregs.mreg -> string option
-- 
cgit