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