; /*  nothing to do */ 
; /*  nothing to do */ 
free_xml(xmlNodePtr a_node){	        if(a_node == NULL) {	  ; /*  nothing to do */	} else if (a_node->doc != NULL) {	  xmlFreeDoc(a_node->doc);	} else {	  /* make sure the node is unlinked first */	  xmlUnlinkNode(a_node);	  xmlFreeNode(a_node);	}		return;}
8182	/local/tlutelli/issta_data/temp/c/2005_temp/2005/8182/69f8a14658aeeee09c5c270dd118170c371c0ecf/xml.c/buggy/crm/common/xml.c