diff options
Diffstat (limited to 'aarch64/PrepassSchedulingOracle.ml')
| -rw-r--r-- | aarch64/PrepassSchedulingOracle.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/aarch64/PrepassSchedulingOracle.ml b/aarch64/PrepassSchedulingOracle.ml index 0b3ba53a..6cb57c64 100644 --- a/aarch64/PrepassSchedulingOracle.ml +++ b/aarch64/PrepassSchedulingOracle.ml @@ -1,9 +1,10 @@ open AST -open RTL +open BTL open Maps open InstructionScheduler open Registers open PrepassSchedulingOracleDeps +open RTLcommonaux let use_alias_analysis () = false |