Changeset 2761 for src


Ignore:
Timestamp:
Mar 2, 2013, 1:50:04 AM (7 years ago)
Author:
sacerdot
Message:

Unused (but not useless) code commented out.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/ASM/Assembly.ma

    r2760 r2761  
    10371037qed.
    10381038
     1039(*
    10391040definition assembly_unlabelled_program:
    10401041    assembly_program → option labelled_object_code ≝
    10411042  λp.
    1042     Some … (〈foldr … (λi,l. assembly1 i @ l) [ ] p, 〈Stub …, Stub …〉〉).
     1043    Some …
     1044     (mk_labelled_object_code
     1045     (foldr … (λi,l. assembly1 i @ l) [ ] p) 〈Stub …, Stub …〉〉).
     1046*)
Note: See TracChangeset for help on using the changeset viewer.