# HG changeset patch
# User albeu
# Date 1180615057 0
# Node ID 0f0803d6544aafa177791cd9acffc248c6e92a97
# Parent  1219516d3e1fd0d00d95a80e19c47e501542bc30
Add a print function for the time option type.

diff -r 1219516d3e1f -r 0f0803d6544a m_option.c
--- a/m_option.c	Thu May 31 10:52:08 2007 +0000
+++ b/m_option.c	Thu May 31 12:37:37 2007 +0000
@@ -1227,7 +1227,7 @@
   sizeof(double),
   0,
   parse_time,
-  NULL,
+  print_double,
   copy_opt,
   copy_opt,
   NULL,