Mentions légales du service

Skip to content
  • Raphaël Rieu-Helft's avatar
    Makefile and .merlin fixes · 17605fb8
    Raphaël 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