Ignore:
Timestamp:
Nov 4, 2011, 12:22:17 PM (8 years ago)
Author:
ayache
Message:

Function pointers in D2.2/8051. Bugged for now.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/LTL/LTLToLIN.ml

    r1462 r1488  
    5050  | LTL.St_call_id (f, _) ->
    5151    LIN.St_call_id f
    52   | LTL.St_call_ptr (f1, f2, _) ->
    53     LIN.St_call_ptr (f1, f2)
     52  | LTL.St_call_ptr _ ->
     53    LIN.St_call_ptr
    5454
    5555  (* Conditional branch statement. In [LIN], control implicitly
Note: See TracChangeset for help on using the changeset viewer.