Changeset 2180


Ignore:
Timestamp:
Jul 12, 2012, 4:46:24 PM (5 years ago)
Author:
campbell
Message:

Fix off-by-one error in GenMem?.ma.

Location:
src
Files:
3 added
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/GenMem.ma

    r2176 r2180  
    187187   let content ≝ blocks … m b in
    188188   let off ≝ offv (poff ptr) in
    189    if andb (Zleb (low … content) off) (Zleb off (high … content)) then
     189   if andb (Zleb (low … content) off) (Zltb off (high … content)) then
    190190    Some … (F b content off)
    191191   else
Note: See TracChangeset for help on using the changeset viewer.