Ignore:
Timestamp:
Sep 19, 2011, 12:57:02 PM (8 years ago)
Author:
mulligan
Message:

changes

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/ERTL/ERTLToLTL.ml

    r486 r1227  
    114114  (* Build a [LTL] function. *)
    115115
    116   {
    117     LTL.f_luniverse = int_fun.ERTL.f_luniverse;
    118     LTL.f_stacksize = stacksize ;
    119     LTL.f_entry = int_fun.ERTL.f_entry;
    120     LTL.f_exit = int_fun.ERTL.f_exit;
    121     LTL.f_graph = !graph
    122   }
     116
    123117
    124118
Note: See TracChangeset for help on using the changeset viewer.