hoaproject/Compiler — pull request #35 by Hywan (2014-11-11 14:13:46+00:00)
Title: Fix a bug in the unification

The `skip` counter, introduced as an optmization to avoid unnecessary assertions, was decremented correctly but not incremented/restored well. This patch fix this bug.