Hi Thomas,
> I appreciate the effort you spent in making these test cases. Your report are really helpful for debugging. Short and with expected result.
Some of the credit should go to
C-Reduce!
> Anyway, this one is fixed in mob.
Great, thanks! I can confirm that this lets me compile my "real code", as well as the small test case.
Jay.