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();
                 }