K 10
svn:author
V 4
yuri
K 8
svn:date
V 27
2018-07-23T18:51:55.567187Z
K 7
svn:log
V 181
math/cvc4: Fix the warning in 'make describe'

Remove USES=compiler as it conflicts with the explicit compiler setting.

PR:		229987
Reported by:	Yasuhiro KIMURA <yasu@utahime.org>

END