]> matita.cs.unibo.it Git - fireball-separation.git/commit
Replaced eat with andrea's finish
authoracondolu <andrea.condoluci@unibo.it>
Thu, 7 Jun 2018 08:18:42 +0000 (10:18 +0200)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Jun 2018 14:52:03 +0000 (16:52 +0200)
commit4d85faf22614fae57d4b0c45a5699258a9274272
treedb0d8ada3c2460574d056187f865bf3e5c98133b
parent26ff6df470edda1ce022f1ba88e3769fe6323a4a
Replaced eat with andrea's finish
(fixes examples failing for measure)
ocaml/simple.ml