diff --git a/cryptominisat.spec b/cryptominisat.spec
index f02443d..86c2a99 100644
--- a/cryptominisat.spec
+++ b/cryptominisat.spec
@@ -1,6 +1,6 @@
 Name:           cryptominisat
 Version:        5.7.1
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        SAT solver
 
 License:        MIT
@@ -102,6 +102,9 @@ fi
 %{python3_sitearch}/pycryptosat*
 
 %changelog
+* Thu May 28 2020 Jonathan Wakely <jwakely@redhat.com> - 5.7.1-3
+- Rebuilt for Boost 1.73
+
 * Tue May 26 2020 Miro Hrončok <mhroncok@redhat.com> - 5.7.1-2
 - Rebuilt for Python 3.9