-
Franz Thoma authored
Keep information about the final conflict set and print it in case of exhaustive search. The original error message is not printed any more.
67c89578
Keep information about the final conflict set and print it in case of exhaustive search. The original error message is not printed any more.