diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2017-08-31 17:39:16 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-31 17:39:16 -0700 |
| commit | d344234d056e1cd9f50cfc611151879381c6124d (patch) | |
| tree | 4b1984cfdbf79f83900980d1c8c10ce05d73d2a7 /src/theory/bv | |
| parent | 949dc989f72c680b98a4f7c4e52616b393237b52 (diff) | |
Replace CVC4_THREADLOCAL in interactive_shell (#1065)
Commit 546d795470ca7c30fc62fe9b6c7b8e5838e1eed4
caused our nightly builds to fail because it did
not replace CVC4_THREADLOCAL with
CVC4_THREAD_LOCAL in interactive_shell. This
commit fixes the issue and adds readline to
Travis, s.t. readline related code gets compiled
as part of our CI tests.
Diffstat (limited to 'src/theory/bv')
| -rw-r--r-- | src/theory/bv/theory_bv_rewriter.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/bv/theory_bv_rewriter.cpp b/src/theory/bv/theory_bv_rewriter.cpp index a96777954..f3185bc13 100644 --- a/src/theory/bv/theory_bv_rewriter.cpp +++ b/src/theory/bv/theory_bv_rewriter.cpp @@ -30,8 +30,8 @@ using namespace CVC4::theory; using namespace CVC4::theory::bv; -// CVC4_THREADLOCAL(AllRewriteRules*) TheoryBVRewriter::s_allRules = NULL; -// CVC4_THREADLOCAL(TimerStat*) TheoryBVRewriter::d_rewriteTimer = NULL; +// CVC4_THREAD_LOCAL AllRewriteRules* TheoryBVRewriter::s_allRules = NULL; +// CVC4_THREAD_LOCAL TimerStat* TheoryBVRewriter::d_rewriteTimer = NULL; RewriteFunction TheoryBVRewriter::d_rewriteTable[kind::LAST_KIND]; void TheoryBVRewriter::init() { // s_allRules = new AllRewriteRules; |