X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Ftimeval.h;h=904023302560d94a52a495310d2a648e38d6e869;hb=6767a2cce9a6412b3a41a927c4d56b9f0e1ec36f;hp=cc50cb3c440e87f72687fb942039ba5196e7ca3e;hpb=c73814a3e6cbdf8c4083ef1d510377e41cb82f6a;p=openvswitch

diff --git a/lib/timeval.h b/lib/timeval.h
index cc50cb3c..90402330 100644
--- a/lib/timeval.h
+++ b/lib/timeval.h
@@ -44,7 +44,6 @@ BUILD_ASSERT_DECL(TYPE_IS_SIGNED(time_t));
  * much time will be wasted in signal handlers and calls to clock_gettime(). */
 #define TIME_UPDATE_INTERVAL 100
 
-void time_init(void);
 void time_disable_restart(void);
 void time_enable_restart(void);
 void time_postfork(void);