Ignore:
Timestamp:
Mar 19, 2013, 10:21:08 PM (7 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/semantics.ml

    r2905 r2909  
    449449| Compiler.Assembly_pass ->
    450450  (fun prog ->
    451     let { Types.fst = eta32145; Types.snd = policy } = Obj.magic prog in
    452     let { Types.fst = code; Types.snd = sigma } = eta32145 in
     451    let { Types.fst = eta32152; Types.snd = policy } = Obj.magic prog in
     452    let { Types.fst = code; Types.snd = sigma } = eta32152 in
    453453    Interpret2.aSM_preclassified_system code sigma policy)
    454454| Compiler.Object_code_pass ->
Note: See TracChangeset for help on using the changeset viewer.