From db36d465dc3e9ac0d0b4bbc9481b4d9af577acd6 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 6 Jun 2014 18:01:43 -0700 Subject: [PATCH] chore(util/sexpr): cleanup Signed-off-by: Leonardo de Moura --- src/util/sexpr/options.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/util/sexpr/options.cpp b/src/util/sexpr/options.cpp index c273c0064c..7e1b2feb74 100644 --- a/src/util/sexpr/options.cpp +++ b/src/util/sexpr/options.cpp @@ -158,7 +158,6 @@ options join(options const & opts1, options const & opts2) { an unknow option in Lean. */ options add_prefix(name const & prefix, options const & opts) { - std::cout << "prefix: " << prefix << "\n"; option_declarations const & decls = get_option_declarations(); return map(opts.m_value, [&](sexpr const & p) { name n = prefix + to_name(car(p));