fix(library/compiler/llnf): missing mk_let

2018-10-29 11:48:14 -07:00 · 2018-10-29 11:48:14 -07:00 · 6fe50bd298
commit 6fe50bd298
parent 28c21b4340
1 changed files with 2 additions and 1 deletions
--- 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);
    }
 };