| commit | 7184a68eb4697c78e773c7941012a0a6ecc93647 | [log] [tgz] |
|---|---|---|
| author | ebruneton <ebruneton> | Sun Jun 08 12:57:09 2008 +0000 |
| committer | ebruneton <ebruneton> | Sun Jun 08 12:57:09 2008 +0000 |
| tree | 751c66080b6325dd7d745888869c3d7252270ad0 | |
| parent | a74e5c7dc14b752f6ebe2f52cef4d56488ed50a5 [diff] |
added check that labels are not reused across methods (inside same class; check for labels reuse across classes still missing)