removed persistent iterator to get rid of mysterious warning (thanks to Joe)

vprover / vampire

The Vampire Theorem Prover

https://vprover.github.io/

Other

302 stars 52 forks source link

Closed quickbeam123 closed 3 months ago

quickbeam123 commented 3 months ago

MS: Let me just quickly check the performance impact of this before merging...