Changeset 2641 for src/common


Ignore:
Timestamp:
Feb 7, 2013, 3:15:56 PM (7 years ago)
Author:
piccolo
Message:

defined dummy block code equals to 0

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Pointers.ma

    r2608 r2641  
    2727definition block_region : block → region ≝
    2828  λb.
    29   if Zltb (block_id b) OZ then
     29  if Zleb (block_id b) OZ then
    3030    Code
    3131  else
    3232    XData.
     33
     34definition dummy_block_code : block ≝
     35mk_block OZ.
    3336
    3437definition eq_block ≝
Note: See TracChangeset for help on using the changeset viewer.