From bd317bca4b383c2f645c83e1d6f46c28d7a9789e Mon Sep 17 00:00:00 2001
From: "David A. Wheeler" <dwheeler@fedoraproject.org>
Date: Fri, 6 Mar 2009 05:45:58 +0000
Subject: [PATCH] Re-sync with CVS

---
 stp.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/stp.spec b/stp.spec
index 7b99d33..3b0ae1b 100644
--- a/stp.spec
+++ b/stp.spec
@@ -2,7 +2,7 @@
 
 Name:		stp
 Version:	0.1
-Release:	3%{?dist}
+Release:	4%{?dist}
 Summary:	Constraint solver/decision procedure
 
 Group:		Applications/Engineering