From 41d7c50e29912289f8065ff68b913ddce17d6d25 Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Thu, 25 Sep 2014 14:10:17 +0100 Subject: [PATCH] fix debug build Signed-off-by: Nuno Lopes --- src/muz/rel/udoc_relation.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/muz/rel/udoc_relation.cpp b/src/muz/rel/udoc_relation.cpp index b862781b7..75fb03c9e 100644 --- a/src/muz/rel/udoc_relation.cpp +++ b/src/muz/rel/udoc_relation.cpp @@ -1118,7 +1118,7 @@ namespace datalog { unsigned idx_dst = dstt.column_idx(col_dst); unsigned idx_src = srct.column_idx(col_src); unsigned num_tbits = dstt.column_num_bits(col_dst); - SASSERT(num_bits == srct.column_num_bits(col_src)); + SASSERT(num_tbits == srct.column_num_bits(col_src)); IF_VERBOSE(3, verbose_stream() << "copy column " << idx_src << " to " << idx_dst << " " << num_tbits << "\n";); for (unsigned i = 0; i < num_tbits; ++i) {