summaryrefslogtreecommitdiffstats
path: root/asmcomp/interf.ml
diff options
context:
space:
mode:
Diffstat (limited to 'asmcomp/interf.ml')
-rw-r--r--asmcomp/interf.ml1
1 files changed, 0 insertions, 1 deletions
diff --git a/asmcomp/interf.ml b/asmcomp/interf.ml
index f22672b55..aa71ebd38 100644
--- a/asmcomp/interf.ml
+++ b/asmcomp/interf.ml
@@ -18,7 +18,6 @@
module IntPairSet =
Set.Make(struct type t = int * int let compare = compare end)
-open Misc
open Reg
open Mach