mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-31 19:52:29 +00:00
Code Activity

fix build with gcc

Browse source
This commit is contained in:
Andrey Rybalchenko 2015-01-23 19:53:14 +00:00
parent 036a56e360
commit 044f2a93e7
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/muz/rel/product_set.cpp
View file

@ -30,7 +30,7 @@ namespace datalog {
product_set::product_set(
product_set_plugin& p, relation_signature const& s,
initial_t init, T const& t):
vector_relation(p, s, false, t), m_refs(0) {
vector_relation<bit_vector>(p, s, false, t), m_refs(0) {
unsigned delta = 0;
for (unsigned i = 0; i < s.size(); ++i) {
unsigned sz = p.set_size(s[i]);