--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on December 2008 ---
Dear Dillon, > Indeed, I think I found what was "wrong" in my environment (maybe it can help other users): > I gave the file .ml and the plugin the same name (ie, hello.ml instead of hello_world.ml ... with a plugin name = hello) which overwrote .cmo files in the working directory and later on in the plugins one. > Maybe the documentation should mention that the .ml and the plugin should not share the same name to avoid this kind of trouble ... for "too naming-lazy" plugin developers like me! You're fully right. The plug-in development guide now highlights this (under CVS). Cheers, Julien