[zenon] Remove ocaml_arches macro (bz 1087794).

[Jerry James]

commit dc69a18f83f34bec4c1c5e804ceade9582d181ea
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Fri Apr 18 15:11:23 2014 -0600

    Remove ocaml_arches macro (bz 1087794).

 zenon.spec |    7 ++++---
 1 files changed, 4 insertions(+), 3 deletions(-)
---
diff --git a/zenon.spec b/zenon.spec
index 2f825cc..4aae9c5 100644
--- a/zenon.spec
+++ b/zenon.spec
@@ -2,7 +2,7 @@
 
 Name:		zenon
 Version:	0.7.1
-Release:	9%{?dist}
+Release:	10%{?dist}
 Summary:	Automated theorem prover for first-order classical logic
 Group:		Applications/Engineering
 License:	BSD
@@ -23,8 +23,6 @@ BuildRequires:	ocaml
 Requires:	coq
 Requires:	coreutils
 
-ExclusiveArch:  %{ocaml_arches}
-
 %description
 Zenon is an automated theorem prover for first order classical logic
 with equality, based on the tableau method.  Zenon can read input files
@@ -108,6 +106,9 @@ fi
 %{_mandir}/man5/*
 
 %changelog
+* Fri Apr 18 2014 Jerry James <loganjerry at gmail.com> - 0.7.1-10
+- Remove ocaml_arches macro (bz 1087794)
+
 * Sat Dec 21 2013 Ville Skyttä <ville.skytta at iki.fi> - 0.7.1-9
 - Pass -g to ocamlopt, don't strip executable too early.