David Nadlinger f7e5245e03 Fix #138 – in precondition of methods broken in D1. ...

Not sure why the code was special-cased for D2 in the first place –
are there any cases where we expect a »full« context struct in the
contracts for D1. At least, they don't occur in DStress/Tango/….

As a general note, this is one of many bugs which would have not gone
unnoticed if we didn't use so many bitcasts.

2012-07-13 11:38:56 +02:00

22 KiB

Raw Blame History

View Raw