diff options
Diffstat (limited to 'backend/Parallelmove.v')
-rw-r--r-- | backend/Parallelmove.v | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/backend/Parallelmove.v b/backend/Parallelmove.v index d7a42173..4930ccd0 100644 --- a/backend/Parallelmove.v +++ b/backend/Parallelmove.v @@ -24,7 +24,6 @@ Require Import Coqlib. Require Parmov. Require Import Values. -Require Import Events. Require Import AST. Require Import Locations. Require Import Conventions. |