Source

ocaml / asmcomp / arm / selection.ml

Diff from to

File asmcomp/arm/selection.ml

 (* Instruction selection for the ARM processor *)
 
 open Arch
+open Proc
 open Cmm
 open Mach
-open Misc
-open Proc
-open Reg
 
 let is_offset chunk n =
   match chunk with