Fix a bug when updating coverage of a choice.
[auto] Merge from Compiler

    • #80313ef — Fix a bug when updating coverage of a choice. (Ivan Enderlin, 2013-06-25)

---

Merge remote branch 'library-compiler/master'