projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51be2e1) | patch
Fix ABC build (#5061)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 15 Sep 2020 02:09:03 +0000 (19:09 -0700)
committerGitHub <noreply@github.com>
Tue, 15 Sep 2020 02:09:03 +0000 (21:09 -0500)
commit1e1b51f5ad91bac3911a41b2ef5a852f89568aaa
tree0270661c3f1e566f4c470a26c247a4c6c9335d5ctree
parent51be2e14c632d45e63a40659dea2177133251dfacommit | diff
Fix ABC build (#5061)

For some reason, our ABC build was including cnf_stream.h in an
extern "C" block instead of outside of it, which made the build fail
because the header indirectly includes cdqueue.h, which uses
templates. This change is older
(e9bfbb2)
but only started causing problems with our nightly builds recently.
src/theory/bv/bitblast/aig_bitblaster.cpp diff | blob | history