diff mx/sanitycheck.py @ 9378:0e661acc3b4a

Fix null pointer exception in if reordering.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Sun, 28 Apr 2013 01:01:00 +0200
parents ea24896c95c9
children 8e33b4ebfef1
line wrap: on
line diff