rgrig / freeboogie

Automatically exported from code.google.com/p/freeboogie
0 stars 0 forks source link

check that label names are unique within a body #30

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
The best place to implement this is probably one of
  FlowGraphMaker
  LabelsCollector

Original issue reported on code.google.com by radugrig...@gmail.com on 21 Aug 2009 at 10:07

GoogleCodeExporter commented 9 years ago
Fixed by r696.

Original comment by radugrig...@gmail.com on 8 Jul 2011 at 6:00