diff --git a/why.spec b/why.spec
index 8909b82..801651f 100644
--- a/why.spec
+++ b/why.spec
@@ -7,7 +7,7 @@
 
 Name:           why
 Version:        2.41
-Release:        8%{?dist}
+Release:        9%{?dist}
 Summary:        Software verification platform
 
 License:        LGPLv2 with exceptions
@@ -234,6 +234,9 @@ make check
 
 
 %changelog
+* Fri Apr 10 2020 Jerry James <loganjerry@gmail.com> - 2.41-9
+- Rebuild for fixed frama-c
+
 * Tue Oct 29 2019 Jerry James <loganjerry@gmail.com> - 2.41-8
 - Rebuild for why3 1.2.1