Rebuild for cryptominisat 2.9.8.

stp.spec

@@ -5,7 +5,7 @@
 
 Name:		stp
 Version:	0.1
-Release:	16.%{svntim}%{?dist}
+Release:	17.%{svntim}%{?dist}
 Summary:	Constraint solver/decision procedure
 
 Group:		Applications/Engineering
@@ -28,10 +28,10 @@ Patch1:		stp-warning.patch
 
 BuildRequires:	bison
 BuildRequires:	boost-devel
-BuildRequires:  cryptominisat-devel
+BuildRequires:	cryptominisat-devel
 BuildRequires:	flex
 BuildRequires:	time
-BuildRequires:  valgrind
+BuildRequires:	valgrind
 BuildRequires:	zlib-devel
 
 %description
@@ -128,6 +128,9 @@ make regresscapi
 %{_includedir}/stp/
 
 %changelog
+* Thu Sep 26 2013 Jerry James <loganjerry@gmail.com> - 0.1-17.20130223svn
+- Rebuild for cryptominisat 2.9.8
+
 * Sun Aug 04 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.1-16.20130223svn
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild