-
John van Groningen authored
checkExplicitImportCompleteness, because it is not used because imported definitions cannot use local macros.
eeba6f5d
checkExplicitImportCompleteness, because it is not used because imported definitions cannot use local macros.