Re: [PATCH 1/5] replace: forbid replacing an object with one of a different type

From: Johannes Sixt <redacted>

Am 25.08.2013 21:44, schrieb Christian Couder:

quoted

What about:

     		die("Objects must be of the same type.\n"
		    "'%s' points to a replaced object of type '%s'\n"
		    "while '%s' points to a replacement object of type '%s'.",

Much better!

Ok, I will reroll with this change and the change you suggest in the test.

Thanks,
Christian.