From: acondolu <andrea.condoluci@unibo.it>
Date: Tue, 11 Jul 2017 12:00:34 +0000 (+0200)
Subject: Fix: conv : x:min_int (.... y:1 ...)  y was not considered for stepping
X-Git-Tag: weak-reduction-separation~61
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=eb8bb784b35d303a1c239f30008cba79f658f4b3;hp=eb8bb784b35d303a1c239f30008cba79f658f4b3;p=fireball-separation.git

Fix: conv : x:min_int (.... y:1 ...)  y was not considered for stepping

When no other choice is available, step on any >0 variable that occurs in
a conv.
---