Calculate size properly in Map.h.
Calculate size properly in Map.h.

niklasso/minisat,robertsami/minisat,niklasso/minisat,meteor/minisat,mabdula/minisat,meteor/minisat,mabdula/minisat,jamesbornholt/minisat,meteor/minisat,mabdula/minisat,meteor/minisat,robertsami/minisat,jamesbornholt/minisat