From: acondolu <andrea.condoluci@unibo.it>
Date: Tue, 29 May 2018 09:03:42 +0000 (+0200)
Subject: Removed useless `isdiv' flag
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f7ed79cb0dc07847da37b68af96f13223ce71079;hp=f7ed79cb0dc07847da37b68af96f13223ce71079;p=fireball-separation.git

Removed useless `isdiv' flag
---