- removed fedora leftovers

diff --git a/alt-ergo.spec b/alt-ergo.spec
index d1683032d6ed7bafdee7603b8ece70d60d394670..179fb0dcb35bed34e2f33c171988bb74f5f98c5f 100644 (file)
--- 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