debug print for DER

diff --git a/src/print.c b/src/print.c
index fb50789e7264ec8932c72673f511bdb1eae0d5b4..2219cad9a7f1e68b4a18e0c32a17af00ff42c572 100644 (file)
--- a/src/print.c
+++ b/src/print.c
@@ -32,7 +32,7 @@
 #include "file.h"
 
 #ifndef lint
-FILE_RCSID("@(#)$File: print.c,v 1.79 2015/01/09 19:28:32 christos Exp $")
+FILE_RCSID("@(#)$File: print.c,v 1.80 2015/07/16 14:28:57 christos Exp $")
 #endif  /* lint */
 
 #include <string.h>
@@ -198,6 +198,7 @@ file_mdump(struct magic *m)
                        break;
                case FILE_USE:
                case FILE_NAME:
+               case FILE_DER:
                        (void) fprintf(stderr, "'%s'", m->value.s);
                        break;
                default: