From 39c2ee29318681fcf08609f9887b7eeb833cfd08 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 31 Oct 2018 13:03:25 -0700 Subject: [PATCH] chore(library/compiler/llnf): 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 bb00c5b247..d076b6c4de 100644 --- a/src/library/compiler/llnf.cpp +++ b/src/library/compiler/llnf.cpp @@ -503,7 +503,7 @@ class to_llnf_fn { modified = true; arg = new_arg; } - /* We assume that `m_major` has be reused IF it was reused in one of the branches. */ + /* We assume that `m_major` has been reused IF it was reused in one of the branches. */ m_replaced = new_replaced; return modified ? mk_app(fn, args) : e; } else {