Show More
@@ -1034,8 +1034,8 b' def processreplacement(state):' | |||
|
1034 | 1034 | allsuccs = set() |
|
1035 | 1035 | replaced = set() |
|
1036 | 1036 | fullmapping = {} |
|
1037 |
# initiali |
|
|
1038 | # fullmapping record all operations recorded in replacement | |
|
1037 | # initialize basic set | |
|
1038 | # fullmapping records all operations recorded in replacement | |
|
1039 | 1039 | for rep in replacements: |
|
1040 | 1040 | allsuccs.update(rep[1]) |
|
1041 | 1041 | replaced.add(rep[0]) |
General Comments 0
You need to be logged in to leave comments.
Login now