diff options
Diffstat (limited to 'backend/LICMaux.ml')
| -rw-r--r-- | backend/LICMaux.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/LICMaux.ml b/backend/LICMaux.ml index df609505..82e4629f 100644 --- a/backend/LICMaux.ml +++ b/backend/LICMaux.ml @@ -17,7 +17,7 @@ open Kildall;; open HashedSet;; open Inject;; open DebugPrint;; -open AuxTools;; +open RTLcommonaux;; type reg = P.t;; |