From 9ea7b77fe033bfb66a43906e1a352f0e5c214fe8 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 17 Jan 2019 17:10:52 -0800
Subject: [PATCH] fix(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 5b0a9c4ac7..3768954a0e 100644
--- a/src/library/compiler/llnf.cpp
+++ b/src/library/compiler/llnf.cpp
@@ -1093,7 +1093,7 @@ class explicit_boxing_fn {
             name n       = let_name(e);
             if (is_internal_name(n)) {
                 if (is_join_point_name(n)) {
-                    type = infer_jp_type(type);
+                    type = infer_jp_type(val);
                 } else {
                     n    = next_name();
                 }