Ignore:
Timestamp:
Mar 2, 2011, 3:27:41 PM (9 years ago)
Author:
ayache
Message:

Update of D2.2 from Paris.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/common/memory.mli

    r486 r619  
    108108              (int list (* resulting offsets *) * int (* full size *))
    109109
    110   val size_of_datas    : AST.data list -> int
     110  val size_of_datas : AST.data list -> int
    111111
    112112  (** [offsets_of_datas datas] returns the aligned offsets for the datas
     
    114114  val offsets_of_datas : AST.data list -> (AST.data * int (* offset *)) list
    115115
    116   val alloc_datas      : 'fun_def memory -> AST.data list ->
    117                          ('fun_def memory * Value.t)
     116  val alloc_datas : 'fun_def memory -> AST.data list ->
     117                    ('fun_def memory * Value.t)
    118118
    119119  val print : 'fun_def memory -> unit
Note: See TracChangeset for help on using the changeset viewer.