Skip to content

fix: don't generate code for decls with an implemented_by attribute#6680

Open
zwarich wants to merge 1 commit intoleanprover:masterfrom zwarich:no-code-for-implemented-by
+1

Commits

Commits on Jan 17, 2025