|
@@ -95,7 +95,7 @@ Void function set_difference(set1 : Element, set2 : Element):
|
|
while (set_len(set2) > 0):
|
|
while (set_len(set2) > 0):
|
|
elem = set_pop(set2)
|
|
elem = set_pop(set2)
|
|
if (set_in(set1, elem)):
|
|
if (set_in(set1, elem)):
|
|
- set_remove(set1, set_pop(set2))
|
|
|
|
|
|
+ set_remove(set1, elem)
|
|
return!
|
|
return!
|
|
|
|
|
|
String function get_taskname():
|
|
String function get_taskname():
|