Ignore:
Timestamp:
Jul 12, 2012, 1:28:28 PM (7 years ago)
Author:
campbell
Message:

Remove memory spaces other than XData and Code; simplify pointers as a
result.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/RTLabsToRTL.ma

    r2103 r2176  
    5050      isize' ÷ (nat_of_bitvector ? int_size)
    5151  | ASTfloat _ ⇒ ? (* dpm: not implemented *)
    52   | ASTptr rgn ⇒ nat_of_bitvector ? ptr_size
     52  | ASTptr ⇒ nat_of_bitvector ? ptr_size
    5353  ].
    5454  cases not_implemented;
Note: See TracChangeset for help on using the changeset viewer.