Ignore:
Timestamp:
Nov 28, 2011, 3:13:14 PM (9 years ago)
Author:
tranquil
Message:
  • corrected previous bug
  • finished propagating immediates
File:
1 edited

Legend:

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

    r1568 r1572  
    8282  fst (List.fold_left f (Labels_Offsets.empty, Val.Offset.zero) p.LTL.functs)
    8383
    84 let fun_def_of_ptr mem ptr = match Mem.find_fun_def mem ptr with
     84let fun_def_of_ptr mem ptr =
     85  match Mem.find_fun_def mem ptr with
    8586  | LTL.F_int def -> def
    8687  | _ -> error "Trying to fetch the definition of an external function."
Note: See TracChangeset for help on using the changeset viewer.