From: acondolu <andrea.condoluci@unibo.it>
Date: Sat, 15 Jul 2017 13:31:04 +0000 (+0200)
Subject: Fixes to parser
X-Git-Tag: weak-reduction-separation~29
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4f38fd688913f856c80ce24254e0f41314dabbea;hp=4f38fd688913f856c80ce24254e0f41314dabbea;p=fireball-separation.git

Fixes to parser

(cherry picked from commit 666a228779e465d08a0deea2e35c0cccf5722b40)
---