From: acondolu <andrea.condoluci@unibo.it>
Date: Sat, 15 Jul 2017 14:41:53 +0000 (+0200)
Subject: Code clean-up
X-Git-Tag: weak-reduction-separation~26
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b9e5cc50618b83f4069608c62be8c4a173c9446f;hp=b9e5cc50618b83f4069608c62be8c4a173c9446f;p=fireball-separation.git

Code clean-up

(cherry picked from commit 5d8249a042beefbe21bfeed48619ed1917ebbcb7)
---