exception in proof checking #78
Description
./zipperposition.exe -bt --dot /tmp/truc.dot examples/data/length.zf --check -d 5 gets an error in proof checking
{{ message }}
./zipperposition.exe -bt --dot /tmp/truc.dot examples/data/length.zf --check -d 5 gets an error in proof checking