1 files changed, 0 insertions, 1 deletions
diff --git a/arm/Op.v b/arm/Op.v
index 4f39b9bc..6f22cece 100644
--- a/arm/Op.v
+++ b/arm/Op.v
@@ -751,7 +751,6 @@ Proof.
   auto.
 Qed.
 
-
 Lemma op_valid_pointer_eq:
   forall (F V: Type) (ge: Genv.t F V) sp op args m1 m2,
   (forall b z, Mem.valid_pointer m1 b z = Mem.valid_pointer m2 b z) ->