From e611f6d77650b580278bff031e90cbd8e3ab7944 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Wed, 9 Oct 2013 20:05:14 -0600
Subject: [PATCH] Really rebuild for cryptominisat 2.9.8.

---
 stp.spec | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/stp.spec b/stp.spec
index ca46f38..b5bb2f3 100644
--- a/stp.spec
+++ b/stp.spec
@@ -5,7 +5,7 @@
 
 Name:		stp
 Version:	0.1
-Release:	17.%{svntim}%{?dist}
+Release:	18.%{svntim}%{?dist}
 Summary:	Constraint solver/decision procedure
 
 Group:		Applications/Engineering
@@ -135,6 +135,9 @@ make regresscapi
 %{_includedir}/stp/
 
 %changelog
+* Wed Oct  9 2013 Jerry James <loganjerry@gmail.com> - 0.1-18.20130223svn
+- Really rebuild for cryptominisat 2.9.8
+
 * Thu Sep 26 2013 Jerry James <loganjerry@gmail.com> - 0.1-17.20130223svn
 - Rebuild for cryptominisat 2.9.8
 - Disable regression tests for non-x86 (see bz 1012698)