From 9ea321b252425e9ac5dd8f26ab91b6ef6777ffde Mon Sep 17 00:00:00 2001 From: levlam Date: Thu, 27 Dec 2018 04:41:47 +0300 Subject: [PATCH] Remove uneeded warning. GitOrigin-RevId: 63933b5e7ae003e350c52cc9758b844cebc2b961 --- tdtl/td/tl/tl_generate.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tdtl/td/tl/tl_generate.cpp b/tdtl/td/tl/tl_generate.cpp index 52039d84f..0949857ff 100644 --- a/tdtl/td/tl/tl_generate.cpp +++ b/tdtl/td/tl/tl_generate.cpp @@ -791,7 +791,7 @@ void write_tl(const tl_config &config, tl_outputer &out, const TL_writer &w) { for (std::size_t function = 0; function < functions_n; function++) { tl_combinator *t = config.get_function_by_num(function); if (!w.is_combinator_supported(t)) { - std::fprintf(stderr, "Function %s is too hard to store\n", t->name.c_str()); + // std::fprintf(stderr, "Function %s is too hard to store\n", t->name.c_str()); continue; }