projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: af9a90a) | patch
Fix for bug 316. If the flag @CVC4_TLS_SUPPORTED@ is false, function pointers cannot...
authorTim King <taking@cs.nyu.edu>
Thu, 29 Mar 2012 19:53:20 +0000 (19:53 +0000)
committerTim King <taking@cs.nyu.edu>
Thu, 29 Mar 2012 19:53:20 +0000 (19:53 +0000)
commit889d34864fb2218516fd18250e4f086213f14611
tree37c99cf9755781c38a6440830ec0bc7dd972615atree
parentaf9a90a1b3df29f7955d255aff1fd26e9957018dcommit | diff
Fix for bug 316. If the flag @CVC4_TLS_SUPPORTED@ is false, function pointers cannot be directly used with the CVC4_THREADLOCAL macro. This is why there were problems on macs.
src/theory/bv/theory_bv_rewriter.cpp diff | blob | history
src/theory/bv/theory_bv_rewriter.h diff | blob | history