From 8457cd3961cd72d319a0090a98be4321cfa4886d Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Thu, 19 Nov 2020 12:21:59 +0100
Subject: rm unneeded open statements in ML

---
 x86/Machregsaux.ml | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'x86')

diff --git a/x86/Machregsaux.ml b/x86/Machregsaux.ml
index 84a6c299..840943e7 100644
--- a/x86/Machregsaux.ml
+++ b/x86/Machregsaux.ml
@@ -12,9 +12,6 @@
 
 (** Auxiliary functions on machine registers *)
 
-open Camlcoq
-open Machregs
-
 let is_scratch_register r = false
                                               
 let class_of_type = function
-- 
cgit