[why] Use the correct version of the patch.

[Jerry James]

commit b0853faa69a8d1c1516fe9c5eda0410f096693d8
Author: Jerry James <loganjerry at gmail.com>
Date:   Mon Jul 30 21:11:07 2012 -0600

    Use the correct version of the patch.

 gwhy-2.31.patch |   10 +++++-----
 1 files changed, 5 insertions(+), 5 deletions(-)
---
diff --git a/gwhy-2.31.patch b/gwhy-2.31.patch
index 15a2576..c131f48 100644
--- a/gwhy-2.31.patch
+++ b/gwhy-2.31.patch
@@ -1,5 +1,5 @@
---- bin/gwhy.sh.orig	2011-03-02 01:27:41.000000000 -0700
-+++ bin/gwhy.sh	2011-07-07 15:41:07.232455718 -0600
+--- bin/gwhy.sh.orig	2012-07-19 12:33:10.000000000 -0600
++++ bin/gwhy.sh	2012-07-30 20:23:41.708914796 -0600
 @@ -1,11 +1,17 @@
  #!/bin/sh
  
@@ -13,9 +13,9 @@
 +case $file in
    *.java)
 -	b=`basename $1 .java`
--	krakatoa $1 || exit 1
+-	krakatoa -gen-only $1 || exit 1
 +	b=`basename $file .java`
-+	krakatoa $file || exit 1
++	krakatoa -gen-only $file || exit 1
  	echo "krakatoa on $b.java done"
 -        d=`dirname $1`
 +        d=`dirname $file`
@@ -29,7 +29,7 @@
 -	b=`basename $1 .c`
 -	caduceus -why-opt -split-user-conj $1 || exit 1
 +	b=`basename $file .c`
-+	caduceus -why-opt -split-user-conj $b.c || exit 1
++	caduceus -why-opt -split-user-conj $file || exit 1
  	make -f $b.makefile gui
  	;;
    *.jc)