seplogic/corestar — comment on commit 28e5fedd92fbdb907ef983968afb1406c7269ea3
File:  line 0
By rgrig:

The printing of proofs is messed up now (that it actually backtracks): If it tries rules A, it fails, and then tries rule A again with a different matching (+unification) it prints:

match A
match A
BLA-BLA
Backtracking
BLA-BLA

instead of

match A
BLA-BLA
Backtracking
match A
BLA-BLA