From 2ff5e9754d2cb45331b413d1842054607e4f65c4 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Mon, 23 Sep 2019 09:16:09 -0600
Subject: [PATCH] Rebuild for frama-c 19.1.

---
 why.spec | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/why.spec b/why.spec
index c68a858..93076ad 100644
--- a/why.spec
+++ b/why.spec
@@ -7,7 +7,7 @@
 
 Name:           why
 Version:        2.41
-Release:        5%{?dist}
+Release:        6%{?dist}
 Summary:        Software verification platform
 
 License:        LGPLv2 with exceptions
@@ -149,8 +149,8 @@ sed -i 's,4\.06\.\*,&|4.07.*|4.08.*,' configure
 # Allow building with why3 1.2.0
 sed -i 's,0\.88\.\*,&|1.2.0,' configure
 
-# Allow building with Frama-C 19.0
-sed -i 's,Chlorine-20180501,19.0*,' configure
+# Allow building with Frama-C 19.1
+sed -i 's,Chlorine-20180501,19.1*,' configure
 
 %build
 %ifarch %{ocaml_native_compiler}
@@ -234,6 +234,9 @@ make check
 
 
 %changelog
+* Mon Sep 23 2019 Jerry James <loganjerry@gmail.com> - 2.41-6
+- Rebuild for frama-c 19.1
+
 * Fri Sep  6 2019 Jerry James <loganjerry@gmail.com> - 2.41-5
 - Rebuild for ocaml-zarith 1.9