projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 87ce1a2) | patch
make sure to mark LogicInfo as CVC4_PUBLIC
authorMorgan Deters <mdeters@gmail.com>
Mon, 1 Oct 2012 21:10:26 +0000 (21:10 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 1 Oct 2012 21:10:26 +0000 (21:10 +0000)
commit2ee52cf8ccaa2e4514cd0e2023ee71a2b8b8d467
tree6cb253de0ad254f1e808efdd2f1ded8a122ef209tree
parent87ce1a2260ae63784a0593aeec792bb8defe9bf6commit | diff
make sure to mark LogicInfo as CVC4_PUBLIC
src/theory/logic_info.h diff | blob | history