From: acondolu <andrea.condoluci@unibo.it>
Date: Sat, 15 Jul 2017 13:05:34 +0000 (+0200)
Subject: Fixed "$" in parser
X-Git-Tag: weak-reduction-separation~30
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f7ba4d1225ca4fb09750f3d23b197b8372f1350b;hp=f7ba4d1225ca4fb09750f3d23b197b8372f1350b;p=fireball-separation.git

Fixed "$" in parser

(cherry picked from commit db562ac015ffc6c1a08c226b4eef7790b21661cd)
---