remove function name

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Oct 12, 2019 · 5bdcc73 · 5bdcc73
1 parent ce06cd0
commit 5bdcc73
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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);