From ad2ea9c2e701dd82c26e6cd3e8a777be9bdef2a2 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Wed, 29 Apr 2020 15:12:54 +0200
Subject: Move shared code in new file.

The name_of_register and register_of_name function are shared between
all architectures and can be moved in a common file.
---
 backend/PrintXTL.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'backend/PrintXTL.ml')

diff --git a/backend/PrintXTL.ml b/backend/PrintXTL.ml
index 6432682a..aeaef25e 100644
--- a/backend/PrintXTL.ml
+++ b/backend/PrintXTL.ml
@@ -22,7 +22,7 @@ open PrintOp
 open XTL
 
 let mreg pp r =
-  match Machregsaux.name_of_register r with
+  match Machregsnames.name_of_register r with
   | Some s -> fprintf pp "%s" s
   | None -> fprintf pp "<unknown machreg>"
 
-- 
cgit