X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Freconnect.c;h=f39b178d784fd5b7e6579072ca4859004dc15f58;hb=71ce92352cbcb96f179f8ec19dd1e843d91d8828;hp=773190bdfc01d9543b65e267f3740d92c0e17a36;hpb=528b8cc4fa1a3cee71cd647ec399caf68760c9c0;p=openvswitch

diff --git a/lib/reconnect.c b/lib/reconnect.c
index 773190bd..f39b178d 100644
--- a/lib/reconnect.c
+++ b/lib/reconnect.c
@@ -23,7 +23,7 @@
 #include "poll-loop.h"
 #include "vlog.h"
 
-VLOG_DEFINE_THIS_MODULE(reconnect)
+VLOG_DEFINE_THIS_MODULE(reconnect);
 
 #define STATES                                  \
     STATE(VOID, 1 << 0)                         \