From 5bdcc737ec477a9267ac2e1104126b8525a40d52 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 12 Oct 2019 11:58:30 -0700 Subject: [PATCH] remove function name Signed-off-by: Nikolaj Bjorner --- src/ast/fpa/bv2fpa_converter.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/ast/fpa/bv2fpa_converter.cpp b/src/ast/fpa/bv2fpa_converter.cpp index d17ac7c61..ce4f2a390 100644 --- a/src/ast/fpa/bv2fpa_converter.cpp +++ b/src/ast/fpa/bv2fpa_converter.cpp @@ -417,7 +417,6 @@ void bv2fpa_converter::convert_uf2bvuf(model_core * mc, model_core * target_mode seen.insert(kv.m_value); func_decl * f = kv.m_key; - std::cout << f->get_name() << "\n"; if (f->get_arity() == 0) { array_util au(m);