diff --git a/src/library/compiler/llnf.cpp b/src/library/compiler/llnf.cpp
index bf915ea890..3a1228f954 100644
--- a/src/library/compiler/llnf.cpp
+++ b/src/library/compiler/llnf.cpp
@@ -523,7 +523,8 @@ public:
     }
 
     expr operator()(expr const & e) {
-        return visit(e);
+        expr r = visit(e);
+        return mk_let(0, r);
     }
 };