@@ -13,7 +13,6 @@ def ifAbsentPut(dict, key, newValue):
dict[key] = newValue
return newValue
-
def indent(stream, numIndents, str):
"""
Write str to stream with numIndents in front it it