chore(changes): add #79 to changelog (#83)

leanprover-community · Nov 15, 2019 · 806a4c5 · 806a4c5
1 parent b30cb29
commit 806a4c5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/doc/changes.md b/doc/changes.md
@@ -43,6 +43,7 @@ This is the first community release of Lean 3.
  * tactic/case: `case` fails when used with `let` (#32)
  * tactic/revert_lst: check that the provided expressions are variables (#12)
  * init/algebra/field: repeated instance (#8)
+ * Add an additional check to `type_context_old::mk_class_instance_at(lctx,type)` to fix issue #55. (#79)
 
 *Changes*