From 8111aaad8af6cd82771d5280274fa272a4f533ad Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 9 Jan 2019 13:31:17 -0800
Subject: [PATCH] fix(library/compiler/llnf): missing case

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

diff --git a/src/library/compiler/llnf.cpp b/src/library/compiler/llnf.cpp
index ea022ff978..075bfa60c9 100644
--- a/src/library/compiler/llnf.cpp
+++ b/src/library/compiler/llnf.cpp
@@ -1257,6 +1257,8 @@ class explicit_boxing_fn {
             return visit_apply(f, args, expected_type);
         } else if (is_llnf_cnstr(f)) {
             return visit_cnstr(f, args, expected_type);
+        } else if (is_llnf_reset(f)) {
+            return e;
         } else if (is_llnf_reuse(f)) {
             return visit_reuse(f, args);
         } else if (is_llnf_sset(f)) {