--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on September 2010 ---
Hello, 2010/9/16 Jean-Pierre Nicolas <jean.nicolas at gmx.de>: > File "hello_world.ml", line 3, characters 3-119: > Error: Signature mismatch: > ? ? ? Modules do not match: > ? ? ? ? sig val name : string val shortname : string val deser : string end > ? ? ? is not included in > ? ? ? ? sig val name : string val shortname : string val descr : string end > ? ? ? The field `descr' is required but not provided I would say that you have a typo in your "hello_world.ml" source, "deser" instead of "descr". Sincerely yours, david