@@ -50,7 +50,7 @@ Element function list_read(a : Element, b : Integer):
return dict_read(a, b)!
Element function list_append(a : Element, b : Element):
- dict_add(a, integer_addition(list_len(a), 1), b)
+ dict_add(a, list_len(a), b)
return a!
Element function set_add(a : Element, b : Element):
