--- ray/src/util/rcode_ident.c	2019/07/24 00:25:51	2.6
+++ ray/src/util/rcode_ident.c	2019/07/26 17:45:23	2.8
@@ -1,5 +1,5 @@
 #ifndef lint
-static const char RCSid[] = "$Id: rcode_ident.c,v 2.6 2019/07/24 00:25:51 greg Exp $";
+static const char RCSid[] = "$Id: rcode_ident.c,v 2.8 2019/07/26 17:45:23 greg Exp $";
 #endif
 /*
  * Create or read identifier index map
@@ -73,9 +73,7 @@ scan_ident(char ident[MAXIDLEN], FILE *fp)
 static int
 headline(char *s, void *p)
 {
-	extern const char	FMTSTR[];
-
-	if (strstr(s, FMTSTR) == s)
+	if (isformat(s))
 		return 0;
 
 	fputs(s, stdout);
@@ -222,9 +220,12 @@ print_IDs(IDMAP *idmp)
 
 	printf("============ %d IDs ============\n", idmp->nids);
 
-	for (i = 0; i < idmp->nids; i++)
-		puts(mapID(idmp, i));
-
+	for (i = 0; i < idmp->nids; i++) {
+		fputs(mapID(idmp, i), stdout);
+		putchar(sepc);
+	}
+	if (sepc != '\n')
+		fputc('\n', stdout);
 	puts("============= END =============");
 }