mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-29 11:55:51 +00:00
Code Activity

Fix for G++.

Browse source 
Avoids this error:
../src/muz_qe/heap_trie.h: In member function ‘virtual unsigned int heap_trie<Key, KeyLE, Value>::leaf::num_leaves() const’:
../src/muz_qe/heap_trie.h:91:64: error: there are no arguments to ‘ref_count’ that depend on a template parameter, so a declaration of ‘ref_count’ must be available [-fpermissive]
../src/muz_qe/heap_trie.h:91:64: note: (if you use ‘-fpermissive’, G++ will accept your code, but allowing the use of an undeclared name is deprecated)

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
Christoph M. Wintersteiger 2013-02-19 22:08:44 +00:00
parent 0aa8df98a1
commit 0f9f01a321
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/muz_qe/heap_trie.h
View file

@ -88,7 +88,7 @@ class heap_trie {
out << " value: " << m_value; out << " value: " << m_value;
} }
virtual unsigned num_nodes() const { return 1; } virtual unsigned num_nodes() const { return 1; }
virtual unsigned num_leaves() const { return ref_count()>0?1:0; } virtual unsigned num_leaves() const { return this->ref_count()>0?1:0; }
}; };
typedef buffer<std::pair<Key,node*>, true, 2> children_t; typedef buffer<std::pair<Key,node*>, true, 2> children_t;