vprover / vampire

The Vampire Theorem Prover
https://vprover.github.io/
Other
302 stars 52 forks source link

remove env.out() #534

Closed MichaelRawson closed 8 months ago

MichaelRawson commented 8 months ago

See #157 and #533. env.out() and friends no longer do much, so they can be replaced with std::cout mechanically.