--- layout: fc_discuss_archives title: Message 69 from Frama-C-discuss on September 2009 ---
Pierre-Lo?c Garoche a ?crit : > I'm trying to update some information of the ast using the visitors provided in the Frama-C API. > I followed the exemple of the plugin dev manual without success. > > My goal is just to update the value of the mutable annotation status. Maybe you should try to use : Db.Properties.Status.CodeAnnotation.update function ? I think that the status is not stored in the AST anymore (but I might be wrong...) Hope it will help. -- Anne.