diff --git a/sources b/sources
index 69df4f9..6caad2c 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-d95a610676c582330d45aa85e6755e0c  stp-0.1.tar.xz
+1c748b2e252b43b24fbc087807825b06  stp-0.1.tar.xz
diff --git a/stp-warning.patch b/stp-warning.patch
index 2a98623..69d27f5 100644
--- a/stp-warning.patch
+++ b/stp-warning.patch
@@ -632,7 +632,7 @@
            isZero = false;
 --- ./src/to-sat/AIG/BBNodeManagerAIG.h.orig	2012-01-29 20:28:39.000000000 -0700
 +++ ./src/to-sat/AIG/BBNodeManagerAIG.h	2012-08-07 16:26:11.736851970 -0600
-@@ -148,7 +148,7 @@ public:
+@@ -149,7 +149,7 @@ public:
                  Aig_Obj_t * pNode;
                  assert (children.size() != 0);
  
@@ -641,16 +641,6 @@
                    assert(!children[i].IsNull());
  
                  switch (kind)
---- ./src/to-sat/AIG/BBNodeAIG.h.orig	2012-02-02 20:41:30.000000000 -0700
-+++ ./src/to-sat/AIG/BBNodeAIG.h	2012-08-07 16:26:11.737851968 -0600
-@@ -11,6 +11,7 @@
- #define BBNODEAIG_H_
- 
- #include "../../extlib-abc/aig.h"
-+#include <stdint.h>
- #include <iostream>
- 
- namespace BEEV
 --- ./src/to-sat/AIG/ToSATAIG.cpp.orig	2012-04-03 00:43:00.000000000 -0600
 +++ ./src/to-sat/AIG/ToSATAIG.cpp	2012-08-07 16:26:11.737851968 -0600
 @@ -136,7 +136,7 @@ namespace BEEV
diff --git a/stp.spec b/stp.spec
index 6fb304c..5776de5 100644
--- a/stp.spec
+++ b/stp.spec
@@ -1,11 +1,11 @@
 # Upstream occasionally releases a subversion snapshot, but no "regular"
 # releases since the 0.1 release.
-%global svnver 1668
-%global svntim 20121002svn
+%global svnver 1671
+%global svntim 20130211svn
 
 Name:		stp
 Version:	0.1
-Release:	12.%{svntim}%{?dist}
+Release:	13.%{svntim}%{?dist}
 Summary:	Constraint solver/decision procedure
 
 Group:		Applications/Engineering
@@ -123,6 +123,9 @@ make install PREFIX=%{buildroot}%{_prefix} LIB_DIR=%{buildroot}%{_libdir}
 %{_includedir}/stp/
 
 %changelog
+* Mon Feb 11 2013 Jerry James <loganjerry@gmail.com> - 0.1-13.20130211svn
+- Update to recent subversion snapshot
+
 * Wed Oct 17 2012 Jerry James <loganjerry@gmail.com> - 0.1-12.20121002svn
 - Update to recent subversion snapshot