From 044f2a93e725585fe0e24d082da99f586cef0fa6 Mon Sep 17 00:00:00 2001
From: Andrey Rybalchenko <rybal@microsoft.com>
Date: Fri, 23 Jan 2015 19:53:14 +0000
Subject: [PATCH] fix build with gcc

---
 src/muz/rel/product_set.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/muz/rel/product_set.cpp b/src/muz/rel/product_set.cpp
index e3c275c67..9c26ed189 100644
--- a/src/muz/rel/product_set.cpp
+++ b/src/muz/rel/product_set.cpp
@@ -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]);