diff mx/JUnitWrapper.java @ 11765:c2d8e5813925

PiNode: fix NPE in assertion
author Bernhard Urban <bernhard.urban@jku.at>
date Tue, 24 Sep 2013 16:06:46 +0200
parents f38f746f4980
children f2132fab8a6f 12f2b3baa163
line wrap: on
line diff