diff options
Diffstat (limited to 'backend/Constprop.v')
| -rw-r--r-- | backend/Constprop.v | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/backend/Constprop.v b/backend/Constprop.v index fc242e1..fe16240 100644 --- a/backend/Constprop.v +++ b/backend/Constprop.v @@ -19,8 +19,6 @@ Require Import Maps. Require Import AST. Require Import Integers. Require Import Floats. -Require Import Values. -Require Import Globalenvs. Require Import Op. Require Import Registers. Require Import RTL. |