Do not inject macro overrides into external dependencies#4666

feliperodri merged 1 commit into

model-checking:mainmodel-checking/kani:mainfrom

tautschnig:restrict-macro-overrides-to-primarytautschnig/kani:restrict-macro-overrides-to-primaryCopy head branch name to clipboard