The Coq mailing list

[Nico <nlehmann AT dcc.uchile.cl>]

Yes, now it works :-)

Thanks!

On Fri, May 15, 2015 at 11:06 AM Enrico Tassi <enrico.tassi AT inria.fr> wrote:

On Fri, May 15, 2015 at 01:38:29PM +0000, Nico wrote:
> Here is a project that illustrate my problem
> https://github.com/nilehmann/my_plugin

Yes, the .mllib file should list module names in the right order.
Since G_my_plugin uses My_module, it should be listed after it.

Patch attached, best regards
--
Enrico Tassi