• Mário Pereira's avatar
    Code extraction (wip) · da763318
    Mário Pereira authored
    Empty extracted modules (all definitions are defined in the driver)
    are printed no more, independently of the extraction mode
    da763318
why3extract.ml 10.7 KB