projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 90217b1) | patch
Fix a build issue for some configurations, thanks Tianyi.
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 8 Aug 2014 16:13:57 +0000 (12:13 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Sat, 9 Aug 2014 20:30:02 +0000 (16:30 -0400)
commit5d0b8cf699d86f2c094b10a895f3612c73604321
treedcb11a73b39f3611b1e4b9fa7470e86f69422e0ftree
parent90217b1d4662c536ba5b3e05f28b1ae636c54342commit | diff
Fix a build issue for some configurations, thanks Tianyi.
Makefile.builds.in diff | blob | history