From 861a31f4581a664d297b87cc29d9a57329253d6e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 8 Sep 2013 13:30:03 -0700 Subject: [PATCH] fix build warning from tptp example Signed-off-by: Nikolaj Bjorner --- examples/tptp/tptp5.cpp | 2 +- src/muz/rel/dl_sparse_table.cpp | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/examples/tptp/tptp5.cpp b/examples/tptp/tptp5.cpp index 1f50bdfea..d0e174914 100644 --- a/examples/tptp/tptp5.cpp +++ b/examples/tptp/tptp5.cpp @@ -151,7 +151,7 @@ public: void set_index(int idx) { m_symbol_index = idx; } }; -TreeNode* MkToken(alloc_region& r, char* token, int symbolIndex) { +TreeNode* MkToken(alloc_region& r, char const* token, int symbolIndex) { TreeNode* ss; char* symbol = tptp_lval[symbolIndex]; ss = new (r) TreeNode(r, symbol, NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL); diff --git a/src/muz/rel/dl_sparse_table.cpp b/src/muz/rel/dl_sparse_table.cpp index 954fcad86..3b2dc333a 100644 --- a/src/muz/rel/dl_sparse_table.cpp +++ b/src/muz/rel/dl_sparse_table.cpp @@ -1132,6 +1132,7 @@ namespace datalog { If tgt_is_first is false, contains the same items as \c res. */ idx_set m_intersection_content; + public: negation_filter_fn(const table_base & tgt, const table_base & neg,