--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on July 2011 ---
Hi, I want to get the annotations associated with a stmt but it's into a strange situation when calling "Annotations.get_annotations". The error message is Error: Unbound value Annotations.get_annotations but when calling "Annotations.get_all" there is no error. The code "open Annotations" has been added to the head. How to resolve it? Best Regards. Henry Liu -- ??? ??????????1?309?(??????22??210093) ???(+86) 159 5199 8028 ???????????????????????????? -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110711/9d39d7ed/attachment.htm>