projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7dd2d74) | patch
CVC4::Integer was not marked CVC4_PUBLIC, causing dynamic link errors on MacOS in...
authorMorgan Deters <mdeters@gmail.com>
Wed, 28 Sep 2011 22:38:31 +0000 (22:38 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 28 Sep 2011 22:38:31 +0000 (22:38 +0000)
commitf33eda5c4fffa331af04a2d6100bb4c2dd9730b3
treeb03cc0f5b05cdaa0ecfe602bb59cfd29d6a2365ftree
parent7dd2d748e358040e8001d7fb184cf9e11180e8c0commit | diff
CVC4::Integer was not marked CVC4_PUBLIC, causing dynamic link errors on MacOS in production builds.  Fixed.
src/util/integer_cln_imp.h diff | blob | history
src/util/integer_gmp_imp.h diff | blob | history