Patch: FYI: verifier bug fix

[Tom Tromey]

I'm checking this in.

This is from Mark Wielaard.  It fixes a bug he found in the libgcj
verifier.

I've added a test case to Mauve.

Tom

Index: ChangeLog
from  Mark Wielaard  <mark@klomp.org>

	* verify.cc (verify_instructions_0) [op_dup2]: Actually push the
	duplicate of a wide type.

Index: verify.cc
===================================================================
RCS file: /cvs/gcc/gcc/libjava/verify.cc,v
retrieving revision 1.33
diff -u -r1.33 verify.cc
--- verify.cc 2002/02/06 21:53:59 1.33
+++ verify.cc 2002/02/07 00:54:28
@@ -2382,6 +2382,8 @@
 		  push_type (t);
 		  push_type (t2);
 		}
+	      else
+		push_type (t)
 	      push_type (t);
 	    }
 	    break;