• Raphael Rieu-Helft's avatar
    Makefile and .merlin fixes · 17605fb8
    Raphael Rieu-Helft authored
    The compiler-libs Ident interface conflicts with Why3's Ident module, so adding compiler-libs to the .merlin does more harm than good.
    17605fb8
.merlin.in 677 Bytes