[why3] Update the -fixes patch for frama-c Fluorine 20130501.

[Jerry James]

commit 2fd240b381673e0fada897cac554b53c801c1b19
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Thu May 23 11:06:33 2013 -0600

    Update the -fixes patch for frama-c Fluorine 20130501.

 why3-fixes.patch |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/why3-fixes.patch b/why3-fixes.patch
index 1ec60f0..e2d636d 100644
--- a/why3-fixes.patch
+++ b/why3-fixes.patch
@@ -605,8 +605,8 @@
        case $FRAMAC_VERSION in
 -         Oxygen-20120901) ;;
 -         *) { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: Version Oxygen-20120901 required." >&5
-+         Fluorine-20130401) ;;
-+         *) { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: Version Fluorine-20130401 required." >&5
++         Fluorine-20130501) ;;
++         *) { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: Version Fluorine-20130501 required." >&5
  $as_echo "$as_me: WARNING: Version Oxygen-20120901 required." >&2;}
              enable_frama_c=no
 -            reason_frama_c=" (version Oxygen required)"