fix a very annoying caching problem

This commit is contained in:
David Halter committed 2013-09-03 22:41:56 +04:30
1 parent 4c6a58644e
commit d483143d47
3 files changed
+6 -4

No files matched your search

+5
View File
@@ -13,6 +13,11 @@ def fast_parent_copy(obj):
new_elements = {}
def recursion(obj):
if isinstance(obj, pr.Statement):
# Need to set _set_vars, otherwise the cache is not working
# correctly, don't know why.
obj.get_set_vars()
new_obj = copy.copy(obj)
new_elements[obj] = new_obj