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

(limited to 'backend/PrintMach.ml')

diff --git a/backend/PrintMach.ml b/backend/PrintMach.ml
index 517f3037..8a5f9a7c 100644
--- a/backend/PrintMach.ml
+++ b/backend/PrintMach.ml
@@ -16,12 +16,11 @@ open Printf
 open Camlcoq
 open Datatypes
 open AST
-open Machregsaux
 open Mach
 open PrintAST
 
 let reg pp r =
-  match name_of_register r with
+  match Machregsnames.name_of_register r with
   | Some s -> fprintf pp "%s" s
   | None -> fprintf pp "<unknown reg>"
 
-- 
cgit