projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6e8d9a6) | patch
Fixed build issue due to dummy Cryptominisat constructor.
authorLiana Hadarean <lianahady@gmail.com>
Wed, 25 May 2016 06:16:06 +0000 (23:16 -0700)
committerLiana Hadarean <lianahady@gmail.com>
Wed, 25 May 2016 06:16:06 +0000 (23:16 -0700)
commit2cea2a149b08a19eac7af1d5a90e6345b47f3744
tree2daf249232654476b664b67b88c5254b80e97b4ftree
parent6e8d9a67eb86fbaf7304b5c993487e69d199b8cecommit | diff
Fixed build issue due to dummy Cryptominisat constructor.
src/prop/cryptominisat.h diff | blob | history