X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=ovsdb%2Fjsonrpc-server.c;h=3c439ee62a28b46e21ade9c8dcc6ba0b51ac61a3;hb=494e43a517694cff1ca6304f6456ba0edbb924e2;hp=d58f9dc1734a20766805ef10e6ca2b8b88610b72;hpb=4e8e4213a815a30216e855a805a8bcd5b8c5a886;p=openvswitch

diff --git a/ovsdb/jsonrpc-server.c b/ovsdb/jsonrpc-server.c
index d58f9dc1..3c439ee6 100644
--- a/ovsdb/jsonrpc-server.c
+++ b/ovsdb/jsonrpc-server.c
@@ -36,7 +36,7 @@
 #include "trigger.h"
 #include "vlog.h"
 
-VLOG_DEFINE_THIS_MODULE(ovsdb_jsonrpc_server)
+VLOG_DEFINE_THIS_MODULE(ovsdb_jsonrpc_server);
 
 struct ovsdb_jsonrpc_remote;
 struct ovsdb_jsonrpc_session;