diff --git a/lfsc.spec b/lfsc.spec
index 6267f85..3605e90 100644
--- a/lfsc.spec
+++ b/lfsc.spec
@@ -2,12 +2,12 @@
 # We check the code out of git and use the date of the last commit as the
 # version number.
 %global owner    CVC4
-%global gittag   fcd0cb325cef48c361c0eb182a3f87c199273b92
+%global gittag   70e3163e125e92b920f1780da18404f06127f23e
 %global shorttag %(cut -b -7 <<< %{gittag})
 
 Name:           lfsc
-Version:        0.20180322
-Release:        2%{?dist}
+Version:        0.20181029
+Release:        1%{?dist}
 Summary:        SMT proof checker
 
 License:        BSD
@@ -86,6 +86,9 @@ src/lfscc %{SOURCE2} %{SOURCE1}
 %{_libdir}/liblfscc.so
 
 %changelog
+* Wed Nov  7 2018 Jerry James <loganjerry@gmail.com> - 0.20181029-1
+- Update to latest git snapshot
+
 * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.20180322-2
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
 
diff --git a/sources b/sources
index 49aa5c2..03192f4 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (lfsc-fcd0cb3.tar.gz) = 3e98c1fc0c4bd7b5c4004f928851c5abe28447591b6700aadfe0ffab53d5d1512c7ae929bea4ae53781233bd0fd8e650e3d0a0752cde842b35ee562e9ef8286f
+SHA512 (lfsc-70e3163.tar.gz) = 527bc00f775286ad517956428a06bd1127bff420f89da36e80775d6ce08283eaeea6e79f6b8b9bd5998a8b7212560d4ad275e705113304b8db9ae2b8022ff881