From cf1affff32d2ae8b0065ed7c82388faa65446de8 Mon Sep 17 00:00:00 2001
From: steve <steve>
Date: Wed, 8 Oct 2003 23:14:29 +0000
Subject: [PATCH]  TIME_FMT does not include the % character.

---
 vpi/sys_vcd.c | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/vpi/sys_vcd.c b/vpi/sys_vcd.c
index 88cf49f29..d59f6c09f 100644
--- a/vpi/sys_vcd.c
+++ b/vpi/sys_vcd.c
@@ -17,7 +17,7 @@
  *    Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
  */
 #ifdef HAVE_CVS_IDENT
-#ident "$Id: sys_vcd.c,v 1.48 2003/10/02 21:30:06 steve Exp $"
+#ident "$Id: sys_vcd.c,v 1.49 2003/10/08 23:14:29 steve Exp $"
 #endif
 
 # include "config.h"
@@ -293,7 +293,7 @@ static int sys_dumpoff_calltf(char*name)
       now64 = timerec_to_time64(&now);
 
       if (now64 > vcd_cur_time)
-	    fprintf(dump_file, "#" TIME_FMT "\n", now64);
+	    fprintf(dump_file, "#%" TIME_FMT "\n", now64);
       vcd_cur_time = now64;
 
       fprintf(dump_file, "$dumpoff\n");
@@ -815,6 +815,9 @@ void sys_vcd_register()
 
 /*
  * $Log: sys_vcd.c,v $
+ * Revision 1.49  2003/10/08 23:14:29  steve
+ *  TIME_FMT does not include the % character.
+ *
  * Revision 1.48  2003/10/02 21:30:06  steve
  *  Use configured TIME_FMT in vcd dump printf.
  *