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 fc242e18..fe16240e 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. |