diff --git a/Doxyfile b/Doxyfile
index 8b235a352..f9b99dad3 100644
--- a/Doxyfile
+++ b/Doxyfile
@@ -5,7 +5,7 @@
 #---------------------------------------------------------------------------
 DOXYFILE_ENCODING      = UTF-8
 PROJECT_NAME           = smack
-PROJECT_NUMBER         = 2.7.0
+PROJECT_NUMBER         = 2.7.1
 PROJECT_BRIEF          = "A bounded software verifier."
 PROJECT_LOGO           =
 OUTPUT_DIRECTORY       = docs
diff --git a/share/smack/reach.py b/share/smack/reach.py
index c5e72341e..e1cfd0344 100755
--- a/share/smack/reach.py
+++ b/share/smack/reach.py
@@ -11,7 +11,7 @@
 from smackgen import *
 from smackverify import *
 
-VERSION = '2.7.0'
+VERSION = '2.7.1'
 
 
 def reachParser():
diff --git a/share/smack/top.py b/share/smack/top.py
index b23d5fe6f..fe64058db 100755
--- a/share/smack/top.py
+++ b/share/smack/top.py
@@ -14,7 +14,7 @@
 from .frontend import link_bc_files, frontends, languages, extra_libs
 from .errtrace import error_trace, smackdOutput
 
-VERSION = '2.7.0'
+VERSION = '2.7.1'
 
 
 class VResult(Flag):