[PATCH] Java: verification of interface types

[Alexandre Petit-Bianco]

Per Bothner writes:
> I checked in the patch (with an updated dat).
> 
> > 2001-01-14  Per Bothner  <per@bothner.com>
> > 
> > 	* expr.c (pop_type_0):  Only return object_ptr_type_node on mismatch
> > 	if expeting an interface type.  Refines change of 2000-09-12.

Thanks.

./A