diff options
Diffstat (limited to 'asmcomp/power/selection.ml')
| -rw-r--r-- | asmcomp/power/selection.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/asmcomp/power/selection.ml b/asmcomp/power/selection.ml index 41b6e9fa7f..a68c63fccc 100644 --- a/asmcomp/power/selection.ml +++ b/asmcomp/power/selection.ml @@ -12,9 +12,7 @@ (* Instruction selection for the Power PC processor *) -open Misc open Cmm -open Reg open Arch open Mach |