• Sylvain Dailler's avatar
    Add a name_table in proof_node. · e0d6b38d
    Sylvain Dailler authored
    Add a name_table in printer_args.
    Put the definition of name_table in task.ml.
    Build_name_tables only called once in proof_node creation.
    Modified the rest accordingly.
    e0d6b38d
why3shell.ml 22.8 KB