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
tree37c99cf9755781c38a6440830ec0bc7dd972615a
parentaf9a90a1b3df29f7955d255aff1fd26e9957018d
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
src/theory/bv/theory_bv_rewriter.h