diff -c -r1.14 Patcher.cs
*** Patcher.cs	21 Sep 2005 03:16:50 -0000	1.14
--- Patcher.cs	30 Dec 2005 01:48:21 -0000
***************
*** 49,55 ****
  	public override void patch(Ice.Object v)
  	{
              Debug.Assert(type_ != null);
! 	    if(!type_.IsInstanceOfType(v))
  	    {
                  throw new System.InvalidCastException("expected element of type " + type()
                      + " but received " + v.GetType().FullName);
--- 49,55 ----
  	public override void patch(Ice.Object v)
  	{
              Debug.Assert(type_ != null);
! 	    if(v != null && !type_.IsInstanceOfType(v))
  	    {
                  throw new System.InvalidCastException("expected element of type " + type()
                      + " but received " + v.GetType().FullName);