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/PrintLTL.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'backend/PrintLTL.ml')

diff --git a/backend/PrintLTL.ml b/backend/PrintLTL.ml
index 1c449e74..d75ba19c 100644
--- a/backend/PrintLTL.ml
+++ b/backend/PrintLTL.ml
@@ -22,7 +22,7 @@ open PrintAST
 open PrintOp
 
 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