Hi All,
Thanks for your reports, and thanks halstein for the excellent reproduction. We fixed the bug, and I'm sending a patched version to anyone who complained. The fix will be publicly available later this week in a version release. If anyone needs it earlier, please email us at support (at) typemock.com.
Thanks,
Doron
Typemock Support