From dad58073d33c1459ce1abc9a784b7d53e548e651 Mon Sep 17 00:00:00 2001 From: Travis Nielsen Date: Sat, 1 Dec 2018 16:47:19 -0600 Subject: [PATCH] Fix typo --- scripts/mk_genfile_common.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/mk_genfile_common.py b/scripts/mk_genfile_common.py index c42eaf86d..a65b41026 100644 --- a/scripts/mk_genfile_common.py +++ b/scripts/mk_genfile_common.py @@ -719,7 +719,7 @@ def mk_install_tactic_cpp_internal(h_files_full_path, path): fullname, line)) raise e except Exception as e: - _loggeer.error("Failed to read file {}\n".format(h_file)) + _logger.error("Failed to read file {}\n".format(h_file)) raise e # First pass will just generate the tactic factories fout.write('#define ADD_TACTIC_CMD(NAME, DESCR, CODE) ctx.insert(alloc(tactic_cmd, symbol(NAME), DESCR, [](ast_manager &m, const params_ref &p) { return CODE; }))\n')