diff test/runtime/NMT/PrintNMTStatisticsWithNMTDisabled.java @ 16567:164b644daa83

Minor simplification in WordTypeVerificationPhase
author Gilles Duboscq <duboscq@ssw.jku.at>
date Mon, 14 Jul 2014 14:49:33 +0200
parents 879c6de913d6
children ac12996df59b
line wrap: on
line diff