rgrig/freeboogie

check that label names are unique within a body

Closed this issue · 1 comments

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

Fixed by r696.

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

  • Changed state: Fixed