-
Matthias Böhm authored
in checkInstanceContextImpliesAllInstanceContextsOfSuperClasses: catch the case that there are duplicate instances in the source file
38777c86
in checkInstanceContextImpliesAllInstanceContextsOfSuperClasses: catch the case that there are duplicate instances in the source file