Skip to content
Find file Blame History Permalink
  • Hallvard Furuseth's avatar
    Warning cleanup. · 753356a3
    Hallvard Furuseth authored 
    Drop unused computed/assigned values.
mdb_page_alloc(): Make "mop_len>0 implies mop!=NULL" provable.
    753356a3