From bc47eca2ff3a6b497ea9c32dddc5aff31badc2a7 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sat, 11 Jun 2016 20:28:54 -0700
Subject: [PATCH] fix(library/lazy_abstraction): incorrect assertion

---
 src/library/lazy_abstraction.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/library/lazy_abstraction.cpp b/src/library/lazy_abstraction.cpp
index 776ee5269b..e29b625678 100644
--- a/src/library/lazy_abstraction.cpp
+++ b/src/library/lazy_abstraction.cpp
@@ -102,7 +102,7 @@ struct push_lazy_abstraction_fn : public replace_visitor {
 
     void add_vidxs(int v) {
         for (pair<name, unsigned> & p : m_s) {
-            lean_assert(static_cast<int>(p.second) + v > 0);
+            lean_assert(static_cast<int>(p.second) + v >= 0);
             p.second += v;
         }
         m_cache.clear();