search

vprover / vampire

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

add missing includes #614

Closed anjapetkovic closed 1 month ago

anjapetkovic commented 1 month ago

These were required to make it compile on my machine: mac, arm64, OS Sonoma, Apple clang version 13.1.6 (clang-1316.0.21.2).

Include these, pretty please with a cherry on top?