ocaml/ocaml — pull request #94 by hnrgrgr (2014-08-29 15:40:05+00:00)
Title: Remove unnecessary Obj.magic.

Two distinct calls to 'input_value' are probably less error prone that 6 use of 'Obj.magic'.

Followup to #81.