--- ./tools/dump-tree.c 2008-04-18 14:56:34.000000000 +0200 +++ ./tools/dump-tree.c.oden 2008-12-20 22:34:01.000000000 +0100 @@ -117,7 +117,7 @@ static void fprintIndex(FILE *f, SmiNode smiElement; smiElement = smiGetNextElement(smiElement), i++) { if (i > 0) fprintf(f, ","); if (indexname) { - fprintf(f, indexname); + fprintf(f, "%s", indexname); } indexname = smiGetElementNode(smiElement)->name; } @@ -143,7 +143,7 @@ static void fprintObjects(FILE *f, SmiNo smiElement = smiGetNextElement(smiElement), i++) { if (i > 0) fprintf(f, ","); if (objectname) { - fprintf(f, objectname); + fprintf(f, "%s", objectname); } objectname = smiGetElementNode(smiElement)->name; }