Changeset 2777 for extracted


Ignore:
Timestamp:
Mar 5, 2013, 10:03:20 PM (7 years ago)
Author:
sacerdot
Message:

One computational daemon closed.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • extracted/assembly.ml

    r2773 r2777  
    28502850    (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S
    28512851    (Nat.S Nat.O))))))))))))))))) p.ASM.renamed_symbols); ASM.final_pc =
    2852   (assert false (* absurd case *)) })) __)) __
    2853 
     2852  (sigma (lookup_labels p.ASM.final_label)) })) __)) __
     2853
Note: See TracChangeset for help on using the changeset viewer.