--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on September 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] problems with plugin-integration



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