diff --git a/why.spec b/why.spec
index f546127..77408c6 100644
--- a/why.spec
+++ b/why.spec
@@ -7,7 +7,7 @@
 
 Name:           why
 Version:        2.41
-Release:        3%{?dist}
+Release:        4%{?dist}
 Summary:        Software verification platform
 
 License:        LGPLv2 with exceptions
@@ -234,6 +234,9 @@ make check
 
 
 %changelog
+* Sat Jul 27 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.41-4
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
+
 * Wed Jun  5 2019 Jerry James <loganjerry@gmail.com> - 2.41-3
 - Rebuild for coq 8.9.1, why3 1.2.0, and frama-c 18.0