comparison mx/projects @ 9012:2979aaac95af

assumptions: enable NoFinalizableSubclass assumption
author Bernhard Urban <bernhard.urban@jku.at>
date Thu, 11 Apr 2013 22:38:53 +0200
parents 81ef56feff1b
children e7541d478e38
comparison
equal deleted inserted replaced
9011:23762f2438b6 9012:2979aaac95af