--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on July 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] unbound value when calling "Annotations.get_annotations"



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>