Fix rollback of deleted steps in ProofFile.change_steps - Githubissues

sr-lab / coqpyt

Python client for coq-lsp

MIT License

25 stars 3 forks source link

Fix rollback of deleted steps in ProofFile.change_steps #37

Closed pcarrott closed 9 months ago

pcarrott commented 9 months ago

On rollback:

Deleted steps are added again to ProofFile.
Call didChange after resetting the file to the original state.