Changeset 2760 for src/LIN


Ignore:
Timestamp:
Mar 2, 2013, 1:29:41 AM (7 years ago)
Author:
sacerdot
Message:
  1. Many files repaired.
  2. 3 new daemons: 2 in Assembly.ma, 1 in StructuredTraces?.ma
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LIN/LINToASM.ma

    r2754 r2760  
    373373     ! symboltable ← get_symboltable … ;
    374374     (* atm no data identifier is used in the code, so preamble must be empty *)
    375      return 〈[ ], symboltable, code〉).
     375     return
     376      (mk_pseudo_assembly_program [ ] code symboltable exit_label ? ?)).
     377cases daemon
     378qed.
Note: See TracChangeset for help on using the changeset viewer.