--- layout: fc_discuss_archives title: Message 22 from Frama-C-discuss on June 2011 ---
Hello Now, I write a plugin containing a file named "register.ml". Some code in register.ml is as fellow: let print = Dynamic.register ~plugin:"loop" "run" ~journalize:true (Datatype.func Datatype.unit Datatype.unit) compute_loop let run () = if Enabled.get () then compute_loop () let () = Db.Main.extend run but when compiled , there is an error :Unbound value Datatype.func Can you tell me how to solve it? Henry Liu -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110618/92962284/attachment.htm>