Skip to content

Warn on multiple definitions of meta predicates - #359

Merged
dstelzer merged 12 commits into
mainfrom
multi-def-style-warn
Sep 28, 2026
Merged

Warn on multiple definitions of meta predicates#359
dstelzer merged 12 commits into
mainfrom
multi-def-style-warn

revert library changes; no longer needed

ad340a1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar