Ignore:
Timestamp:
Sep 26, 2011, 5:57:55 PM (8 years ago)
Author:
campbell
Message:

Revert accidental commit.

File:
1 edited

Legend:

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

    r1227 r1272  
    114114  (* Build a [LTL] function. *)
    115115
    116 
     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  }
    117123
    118124
Note: See TracChangeset for help on using the changeset viewer.