Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit fe06f51

Browse files
committedJul 29, 2021
Fix typo
1 parent af131b4 commit fe06f51

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed
 

‎ChangeLog.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ and some new interesting features. Here is the brief summary of changes:
1717
- Wingman, where most changes owing to @isovector
1818
- An option for disabling proof state styling is added.
1919
- Tactic supports deep recursion.
20-
- Hole fits suggestions are now disabled with Wingman for a performance reason.
20+
- Hole fit suggestions are now disabled with Wingman for a performance reason.
2121
- Hovering on a name displays the package where the name is defined, contributed by @berberman.
2222
![hover](https://user-images.githubusercontent.com/12473268/127550516-acc1f1b4-bad7-44fd-99a0-a174ce9ac909.gif)
2323

0 commit comments

Comments
 (0)
Please sign in to comment.