math/cvc4: Fix headers
Fix headers so other programs can include them safely.
This unbreaks lang/maude and lang/solidity
PR: 238376
Reported by: jbeich@
Description
Description
Details
Details
- Provenance
fernape Authored on - Parents
- rP508194: Fix build on i386. Some asm code isn't position independent.
- Branches
- Unknown
- Tags