-
David Hauzar authored
Bugfix - printing the terms that should be in counterexample caused the modification of the list of these terms that is passed to parser of counter-examples (each term was then twice in this list).
417543a0
Bugfix - printing the terms that should be in counterexample caused the modification of the list of these terms that is passed to parser of counter-examples (each term was then twice in this list).