Declaration of use_fused_mul, unused in this port but needed for extraction (I think)

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

arm/SelectOp.v

@@ -1193,3 +1193,7 @@ Definition addressing (chunk: memory_chunk) (e: expr) :=
       (Aindexed Int.zero, e:::Enil)
   end.
 
+(** For compatibility with PowerPC, but unused. *)
+
+Parameter use_fused_mul : unit -> bool.
+