Changeset 3001 for extracted/lIN.ml


Ignore:
Timestamp:
Mar 28, 2013, 1:02:48 PM (7 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/lIN.ml

    r2960 r3001  
    134134    (Obj.magic Types.It))) }, (List.Cons ({ Types.fst = Types.None;
    135135    Types.snd = (Joint.Sequential ((Joint.CALL ((Types.Inl
    136     p.Joint.joint_prog.AST.prog_main), (Obj.magic Nat.O),
     136    (AST.prog_main p.Joint.joint_prog)), (Obj.magic Nat.O),
    137137    (Obj.magic Types.It))), (Obj.magic Types.It))) }, (List.Cons
    138138    ({ Types.fst = (Types.Some l3); Types.snd = (Joint.Final (Joint.GOTO
Note: See TracChangeset for help on using the changeset viewer.