Update search.ml (fix type errors because of the new api of js_of_ocaml)
Merge pull request #33 from cago/master

Update search.ml (fix type errors because of the new api of js_of_ocaml)