cosmetic cleanups to the OCaml code
Merge pull request #38 from gasche/patch2

cosmetic cleanups to the OCaml code
Minor ml.ml fix

The original implementation forgot to close the file description.
Merge pull request #39 from gasche/patch-1

Minor ml.ml fix
updated
Merge branch 'master' of https://github.com/logicchains/LPATHBench