[csisat] Remove ocaml_arches macro (bz 1087794).

[Jerry James]

commit 09ddcbdbf76769621279c5e868bdea18c14db7b4
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Fri Apr 18 15:03:14 2014 -0600

    Remove ocaml_arches macro (bz 1087794).

 csisat.spec |    7 ++++---
 1 files changed, 4 insertions(+), 3 deletions(-)
---
diff --git a/csisat.spec b/csisat.spec
index 76fa4a1..2115b6b 100644
--- a/csisat.spec
+++ b/csisat.spec
@@ -1,6 +1,6 @@
 Name:           csisat
 Version:        1.2
-Release:        12%{?dist}
+Release:        13%{?dist}
 Summary:        Tool for LA+EUF Interpolation
 
 Group:          Applications/Engineering
@@ -18,8 +18,6 @@ Patch2:         %{name}-picosat.patch
 
 BuildRequires:  glpk-devel, ocaml, picosat-devel, subversion
 
-ExclusiveArch:  %{ocaml_arches}
-
 %description
 CSIsat reads a set of mathematical formulas that may combine variables,
 addition, multiplication, comparisons (<,>, etc.), as well as boolean
@@ -64,6 +62,9 @@ cp -p bin/* $RPM_BUILD_ROOT%{_bindir}
 %{_bindir}/csisatServer
 
 %changelog
+* Fri Apr 18 2014 Jerry James <loganjerry at gmail.com> - 1.2-13
+- Remove ocaml_arches macro (bz 1087794)
+
 * Wed Jul 31 2013 Jerry James <loganjerry at gmail.com> - 1.2-12
 - Rebuild for new glpk and new picosat