--- layout: fc_discuss_archives title: Message 56 from Frama-C-discuss on June 2009 ---
Hello, St?phane Duprat a ?crit : > Hi, > > When I use Dynamic.Main.extend as in the Hello World exemple, I receive > the message "Use of a deprecated function: Dynamic.Main.extend" when I > run Frama-C. > What is the new function for that ? That is Db.Main.extend. Maybe the message should mention that. The "hello world" example of the plug-in development guide (http://frama-c.cea.fr/download/plug-in_development_guide.pdf) uses the right function (Section 2.1.3, page 13), but you're right: the "hello world" example in the source distribution (directory src/dummy/hello_world) uses this deprecated function. Hope this helps, Julien Signoles