hnrgrgr/ocaml — pull request #1 by gasche (2014-09-19 23:26:12+00:00)
Title: simplify PR#94

Squashing the two commits together gives something small. I was considering committing that, but I would like another pair of eyes to make sure there is no obvious mistake hiding...