Remove DefKind::Ctor from filtering crate items#3845
Merged
carolynzech merged 1 commit intomodel-checking:mainfrom Jan 22, 2025
Merged
Remove DefKind::Ctor from filtering crate items#3845carolynzech merged 1 commit intomodel-checking:mainfrom
DefKind::Ctor from filtering crate items#3845carolynzech merged 1 commit intomodel-checking:mainfrom
Commits
Commits on Jan 21, 2025
- committed
Carolyn Zech