Skip to content

Commit 7758660

Browse files
TDiazTTDiazT
committed
chore: Add changelog entry
1 parent 926057d commit 7758660

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

‎doc/changelog/02-specification-language/21450-elab-sorts-Added.rst‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
- **Added:**
2+
elaboration of implicit sort qualities, by unsetting the flag :cmd:`Collapse Sorts ToType`
3+
(`#21450 <https://github.com/rocq-prover/rocq/pull/21450>`_,
4+
by Tomas Diaz).

0 commit comments

Comments
 (0)