impermeable / coq-waterproof

GNU Lesser General Public License v3.0
29 stars 9 forks source link

[build] Fix use of plugin aliases in findlib loading. #58

Closed ejgallego closed 2 months ago

ejgallego commented 2 months ago

Note that both lines where loading the same plugin, but activating different syntax rules; that's not really allowed as it leaves the system in a partial state. If something like that is needed, true two plugins are necessary (Which is not hard to support nowadays).