Remove DefKind::Ctor from filtering crate items#3845
Merged
carolynzech merged 1 commit intomodel-checking:mainfrom carolynzech:remove-def-kind-checkJan 22, 2025
+7-10
Commits
Commits on Jan 21, 2025
- committed
