Changeset 2961


Ignore:
Timestamp:
Mar 26, 2013, 5:02:30 PM (4 years ago)
Author:
sacerdot
Message:

Bug fixed (stupid typo in pre-main code made the compiler diverge on RTL
languages).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/rTL.ml

    r2960 r2961  
    313313      (Joint.Sequential ((Joint.CALL ((Types.Inl
    314314      p.Joint.joint_prog.AST.prog_main), (Obj.magic List.Nil),
    315       (Obj.magic List.Nil))), (Obj.magic l3))) res0
     315      (Obj.magic rs))), (Obj.magic l3))) res0
    316316  in
    317317  let res2 =
Note: See TracChangeset for help on using the changeset viewer.