fix Hashtbl.map issue (#354)
Merge pull request #358 from rixed/fix-hash-map

fix Hashtbl.map issue (#354)