From 39f45beec09e5f9236cf41117e60d02dcf46291e Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 31 Jan 2019 17:52:59 -0800 Subject: [PATCH] chore(library/compiler/llnf): fix typo --- src/library/compiler/llnf.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/compiler/llnf.cpp b/src/library/compiler/llnf.cpp index 0ae88b853f..5d4e8e70e3 100644 --- a/src/library/compiler/llnf.cpp +++ b/src/library/compiler/llnf.cpp @@ -1047,7 +1047,7 @@ class explicit_boxing_fn { return get_constant_ll_type(env(), c); } - /* Initialize `m_result_type` and `m_result_type` */ + /* Initialize `m_result_type` and `m_result_type_size` */ void init_result_type(name const & d_name) { expr type = get_constant_type(d_name); while (is_pi(type))