diff options
author | Tim King <taking@cs.nyu.edu> | 2012-03-29 19:53:20 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2012-03-29 19:53:20 +0000 |
commit | 889d34864fb2218516fd18250e4f086213f14611 (patch) | |
tree | 37c99cf9755781c38a6440830ec0bc7dd972615a /config/readline.m4 | |
parent | af9a90a1b3df29f7955d255aff1fd26e9957018d (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.
Diffstat (limited to 'config/readline.m4')
0 files changed, 0 insertions, 0 deletions