logicchains/LPATHBench — pull request #39 by gasche (2014-12-21 12:33:52+00:00)
Title: Minor ml.ml fix

The original implementation forgot to close the file description.