in src/ext/guac.py [0:0]
def clear_doc(self, docname):
# Clear all cached data associated with the given document
instruction_list = self.data['instruction']
for inst, doc in list(instruction_list.items()):
if doc == docname:
del instruction_list[inst]