Changeset 1600 for src/ASM/Erase.ma


Ignore:
Timestamp:
Dec 13, 2011, 1:41:08 PM (8 years ago)
Author:
sacerdot
Message:

utilities and ASM ported to the new standard library

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Erase.ma

    r1515 r1600  
    8484      Mov dptr located
    8585  ].
    86      
     86
    8787let rec relabel
    8888  (the_program: list labelled_instruction) (map: identifier_map ASMTag Identifier)
     
    9696      match label with
    9797      [ None ⇒ None …
    98       | Some label ⇒ Some … (lookup_def map ident ident)
     98      | Some label ⇒ Some … (lookup_def ?? map ident ident)
    9999      ]
    100100    in
Note: See TracChangeset for help on using the changeset viewer.