HomeFreeBSD

math/cvc4: Fix headers

Description

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@

Details

Committed
fernapeAug 5 2019, 4:59 PM
Parents
rP508194: Fix build on i386. Some asm code isn't position independent.
Branches
Unknown
Tags
Unknown