From b79a8ddd25724d8ae7bb697e32bbcfdae9331dfd Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 3 Aug 2016 18:25:37 -0700
Subject: [PATCH] fix(library/attribute_manager): incorrect assertion

---
 src/library/attribute_manager.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/library/attribute_manager.cpp b/src/library/attribute_manager.cpp
index 7ec15e5aff..30500b4d19 100644
--- a/src/library/attribute_manager.cpp
+++ b/src/library/attribute_manager.cpp
@@ -197,7 +197,6 @@ environment set_attribute(environment const & env, io_state const & ios, char co
         lean_assert(!params);
         return prio_attr->set(env, ios, d, prio, persistent);
     }
-    lean_assert(prio == LEAN_DEFAULT_PRIORITY);
     if (auto params_attr = dynamic_cast<unsigned_params_attribute const *>(&attr)) {
         return params_attr->set(env, ios, d, {params}, persistent);
     }