From: Tomáš Musil <tomik.musil@gmail.com>
Date: Sun, 6 Sep 2015 16:28:10 +0000 (+0200)
Subject: fix bug in unification
X-Git-Url: http://git.tomasm.cz/fp.git/commitdiff_plain/33464c9ce7b0b1559f8cb23734065b8ecdd382c1?hp=33464c9ce7b0b1559f8cb23734065b8ecdd382c1

fix bug in unification
---