From 05477d34bb1cf0d6826cb416dac0b546aa2d6f7e Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 26 Nov 2015 12:51:36 -0800
Subject: [PATCH] fix(library/blast/forward/pattern): missing case

---
 src/library/blast/forward/pattern.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/library/blast/forward/pattern.cpp b/src/library/blast/forward/pattern.cpp
index 50a253789e..638776e72b 100644
--- a/src/library/blast/forward/pattern.cpp
+++ b/src/library/blast/forward/pattern.cpp
@@ -447,6 +447,8 @@ struct mk_hi_lemma_fn {
                 } else if (!mvars.empty()) {
                     // a subsumes all children candidates
                     return candidate_set(candidate(a, mvars));
+                } else {
+                    return candidate_set();
                 }
             }
         }}