Index: soft/giet_vm/xml/xml_parser.c
===================================================================
--- soft/giet_vm/xml/xml_parser.c	(revision 181)
+++ soft/giet_vm/xml/xml_parser.c	(revision 182)
@@ -899,9 +899,9 @@
 
     //////// get type attribute
-    char *type_str = getStringValue(reader, "type", &ok);
-#if XML_PARSER_DEBUG
-printf("        type = %s\n", type_str);
-#endif
-    if (ok && (strcmp(type_str, "ELF") == 0))
+    str = getStringValue(reader, "type", &ok);
+#if XML_PARSER_DEBUG
+printf("        type = %s\n", str);
+#endif
+    if (ok && (strcmp(str, "ELF") == 0))
     {
         vobj[vobj_index]->type = VOBJ_TYPE_ELF;