Ignore:
Timestamp:
Feb 11, 2011, 4:45:37 PM (9 years ago)
Author:
campbell
Message:

pointer_compat is a little more natural if it takes that block rather than
the block's region.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.1/C-semantics/Cexec.ma

    r498 r499  
    170170         [ Tpointer s _ ⇒ OK ? s | Tarray s _ _ ⇒ OK ? s | Tfunction _ _ ⇒ OK ? Code
    171171         | _ ⇒ Error ? ];
    172     if is_pointer_compat (block_region m b) s'
     172    if is_pointer_compat b s'
    173173    then OK ? (Vptr s' b ofs)
    174174    else Error ?
Note: See TracChangeset for help on using the changeset viewer.