From 51cfb4371655b03a059a251209c2797a0152ce5c Mon Sep 17 00:00:00 2001 From: David Halter Date: Sun, 21 Oct 2012 14:31:32 +0200 Subject: [PATCH] a comment... --- jedi/api.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/jedi/api.py b/jedi/api.py index 0590c0b4..4037cdd5 100644 --- a/jedi/api.py +++ b/jedi/api.py @@ -451,7 +451,9 @@ class Script(object): return None, 0 old_call, old_index = check_user_stmt(old_stmt) if old_call: - if str(old_call) == str(call): + # compare repr because that should definitely be the same. + # Otherwise the whole thing is out of sync. + if repr(old_call) == repr(call): # return the index of the part_parser return old_call, index return None, 0