Changeset 2763 for src/LIN


Ignore:
Timestamp:
Mar 2, 2013, 11:42:16 AM (7 years ago)
Author:
sacerdot
Message:

All daemons in compiler.ma closed (i.e. proof obligations added
to the sigma type of compiled programs).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LIN/LINToASM.ma

    r2760 r2763  
    374374     (* atm no data identifier is used in the code, so preamble must be empty *)
    375375     return
    376       (mk_pseudo_assembly_program [ ] code symboltable exit_label ? ?)).
     376      (mk_pseudo_assembly_program [ ] code ? symboltable exit_label ? ?)).
    377377cases daemon
    378378qed.
Note: See TracChangeset for help on using the changeset viewer.