From 27931dcb29ebeb15aae4d17d745252ba75f69bae Mon Sep 17 00:00:00 2001 From: Jan Cholasta Date: Wed, 30 Nov 2011 09:08:23 -0500 Subject: [PATCH] Fix make-lint crash under certain circumstances. ticket 2136 --- make-lint | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make-lint b/make-lint index b5df9e4a6..83025d84f 100755 --- a/make-lint +++ b/make-lint @@ -92,7 +92,7 @@ class IPATypeChecker(TypeChecker): inferred = [] for owner in inferred: - if not isinstance(owner, Class) and not isinstance(owner, Instance): + if not isinstance(owner, Class) and type(owner) is not Instance: continue ignored = self._find_ignored_attrs(owner)