From: acondolu <andrea.condoluci@unibo.it>
Date: Thu, 7 Jun 2018 08:18:42 +0000 (+0200)
Subject: Replaced eat with andrea's finish
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4d85faf22614fae57d4b0c45a5699258a9274272;hp=4d85faf22614fae57d4b0c45a5699258a9274272;p=fireball-separation.git

Replaced eat with andrea's finish
(fixes examples failing for measure)
---