Ignore:
Timestamp:
Mar 28, 2013, 10:27:41 AM (7 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/interpret2.ml

    r2993 r2997  
    165165    ASM.labelled_object_code -> Measurable.preclassified_system **)
    166166let oC_preclassified_system c =
    167   let lcm =(Fetch.load_code_memory c.ASM.oc) in
     167  let lcm = Fetch.load_code_memory c.ASM.oc in
    168168  mk_preclassified_system_of_abstract_status (ASMCosts.oC_abstract_status c)
    169169    (fun st ->
    170170    Monad.m_return0 (Monad.max_def IOMonad.iOMonad)
    171       (Interpret.execute_1 lcm (Obj.magic st))
    172     )
     171      (Interpret.execute_1 lcm (Obj.magic st)))
    173172    (Obj.magic (Status.initialise_status (Fetch.load_code_memory c.ASM.oc)))
    174173
Note: See TracChangeset for help on using the changeset viewer.