ocaml/ocaml — pull request #81 by hnrgrgr (2014-07-10 09:45:58+00:00)
Title: Remove unnecessary Obj.magic.

Two distinct calls to 'input_value' are probably less error prone than 6 call to 'Obj.magic'.