Remove some useless "Require".

Update ARM port.


git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2085 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 0 insertions, 1 deletions

diff --git a/ia32/Op.v b/ia32/Op.v
index c32de67..8169594 100644
--- a/ia32/Op.v
+++ b/ia32/Op.v
@@ -29,7 +29,6 @@ Require Import AST.
 Require Import Integers.
 Require Import Floats.
 Require Import Values.
-Require Import Memdata.
 Require Import Memory.
 Require Import Globalenvs.
 Require Import Events.