Message5840

Author jendrik
Recipients andrew.coles, erez, florian, jendrik, malte, silvia
Date 2016-11-29.21:18:41
Content
I failed to reproduce the error on both my machine and maia. So I'm not sure how to test my fix. I pushed it to my 
bitbucket repo:

https://bitbucket.org/jendrikseipp/downward/commits/d19cd04fa4bb1547524573669ac83170c050cd5b?at=default

Florian, do you think this fix is correct?
History
Date User Action Args
2016-11-29 21:18:41jendriksetmessageid: <1480450721.6.0.526762047371.issue213@unibas.ch>
2016-11-29 21:18:41jendriksetrecipients: + jendrik, malte, erez, andrew.coles, silvia, florian
2016-11-29 21:18:41jendriklinkissue213 messages
2016-11-29 21:18:41jendrikcreate