new inference: don't push resolved vars in case of failed substitution

This commit is contained in:
Anna Kozlova
2015-11-24 10:30:21 +01:00
parent 138bd5a034
commit 49dfdded70
25 changed files with 240 additions and 240 deletions