K 10
svn:author
V 7
fernape
K 8
svn:date
V 27
2019-08-05T16:59:25.884714Z
K 7
svn:log
V 156
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@

END