diff options
Diffstat (limited to 'backend/Linearize.v')
-rw-r--r-- | backend/Linearize.v | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/backend/Linearize.v b/backend/Linearize.v index fd350c7..636cb22 100644 --- a/backend/Linearize.v +++ b/backend/Linearize.v @@ -19,8 +19,6 @@ Require Import Ordered. Require Import FSets. Require FSetAVL. Require Import AST. -Require Import Values. -Require Import Globalenvs. Require Import Errors. Require Import Op. Require Import Locations. |