fix split_path in discover.ml
fix split_path in discover.ml

Ignore-this: 51a887a3847ad3ac29c1422f1dac4c50

darcs-hash:20120912151333-c41ad-d86acfb99d6cc8388de16d657c4890f8ea5703f1.gz

avsm/lwt-OLD,avsm/lwt-OLD