From e697d3e8109e8c614412d137d9e1da83374beed7 Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Thu, 1 Dec 2016 14:10:31 +0000 Subject: [PATCH] remove 2 outdated comments --- src/ast/rewriter/bit_blaster/bit_blaster_rewriter.cpp | 6 ------ 1 file changed, 6 deletions(-) diff --git a/src/ast/rewriter/bit_blaster/bit_blaster_rewriter.cpp b/src/ast/rewriter/bit_blaster/bit_blaster_rewriter.cpp index e8d8c4e4b..68f2a2b8e 100644 --- a/src/ast/rewriter/bit_blaster/bit_blaster_rewriter.cpp +++ b/src/ast/rewriter/bit_blaster/bit_blaster_rewriter.cpp @@ -66,9 +66,6 @@ struct blaster_cfg { void mk_nor(expr * a, expr * b, expr_ref & r) { m_rewriter.mk_nor(a, b, r); } }; -// CMW: GCC/LLVM do not like this definition because a symbol of the same name exists in assert_set_bit_blaster.o -// template class bit_blaster_tpl; - class blaster : public bit_blaster_tpl { bool_rewriter m_rewriter; bv_util m_util; @@ -625,9 +622,6 @@ MK_PARAMETRIC_UNARY_REDUCE(reduce_sign_extend, mk_sign_extend); } }; -// CMW: GCC/LLVM do not like this definition because a symbol of the same name exists in assert_set_bit_blaster.o -// template class rewriter_tpl; - struct bit_blaster_rewriter::imp : public rewriter_tpl { blaster m_blaster; blaster_rewriter_cfg m_cfg;