#
#
# patch "database.cc"
#  from [f76425607ca92d3efb43a85d83fd63ddc2fdf2ef]
#    to [a6d7e952af94186460d7277a07504e6fc67c7e03]
#
============================================================
--- database.cc	f76425607ca92d3efb43a85d83fd63ddc2fdf2ef
+++ database.cc	a6d7e952af94186460d7277a07504e6fc67c7e03
@@ -3146,7 +3146,6 @@ database::put_key(key_name const & pub_i
   MM(pub);
   key_id thash;
   key_hash_code(pub_id, pub, thash);
-  I(!public_key_exists(thash));
 
   if (public_key_exists(thash))
     {