From 6fe50bd2982be92a4109e5276f9976642f51e255 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 29 Oct 2018 11:48:14 -0700
Subject: [PATCH] fix(library/compiler/llnf): missing `mk_let`

---
 src/library/compiler/llnf.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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