X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Ftimeval.c;h=d24ba03f794a57dc4904291f304d6aecee5b6a0b;hb=77fdfa9bf71aff101219b249955842f6dc59b5c9;hp=cca6fe6a4913e32587933aaf757030b644c3fd93;hpb=d295e8e97acae13552a5b220d3fbcff8201064a2;p=openvswitch

diff --git a/lib/timeval.c b/lib/timeval.c
index cca6fe6a..d24ba03f 100644
--- a/lib/timeval.c
+++ b/lib/timeval.c
@@ -29,7 +29,7 @@
 #include "util.h"
 #include "vlog.h"
 
-VLOG_DEFINE_THIS_MODULE(timeval)
+VLOG_DEFINE_THIS_MODULE(timeval);
 
 /* The clock to use for measuring time intervals.  This is CLOCK_MONOTONIC by
  * preference, but on systems that don't have a monotonic clock we fall back