tree 751c66080b6325dd7d745888869c3d7252270ad0
parent a74e5c7dc14b752f6ebe2f52cef4d56488ed50a5
author ebruneton <ebruneton> 1212929829 +0000
committer ebruneton <ebruneton> 1212929829 +0000

added check that labels are not reused across methods (inside same class; check for labels reuse across classes still missing)