From: Jan Rękorajski <baggins@pld-linux.org>
Date: Thu, 16 May 2013 10:59:09 +0000 (+0200)
Subject: - removed fedora leftovers
X-Git-Tag: auto/th/alt-ergo-0.95.2-1~1
X-Git-Url: http://git.pld-linux.org/gitweb.cgi?p=packages%2Falt-ergo.git;a=commitdiff_plain;h=812c459bdca5700f8cbe5c2c3df3a08efc976259

- removed fedora leftovers
---

diff --git a/alt-ergo.spec b/alt-ergo.spec
index d168303..179fb0d 100644
--- a/alt-ergo.spec
+++ b/alt-ergo.spec
@@ -18,10 +18,6 @@ BuildRequires:	ocaml-lablgtk2-gtksourceview2-devel
 Requires(post):	coreutils
 BuildRoot:	%{tmpdir}/%{name}-%{version}-root-%(id -u -n)
 
-# Filter out symbols that are provided by interface files (*.mli) only.
-# There are no corresponding symbols available at runtime.
-%global __requires_exclude ocaml\\\(((Sig)|(Smt_ast)|(Why_ptree))\\\)
-
 %description
 Alt-Ergo is an automated theorem prover implemented in OCaml. It is
 based on CC(X) - a congruence closure algorithm parameterized by an