X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=ovsdb%2Fjsonrpc-server.c;h=458c52db5a0c07c1a593e728d9857e262fd85d5c;hb=e1bd3bee5cd7065e019b4b6736918b2fda95fa49;hp=4b83fd3483d47a1652997d6f257ab4a895e44073;hpb=0b1fae1b73c4c6cfc84edafc6845a17257191e42;p=openvswitch

diff --git a/ovsdb/jsonrpc-server.c b/ovsdb/jsonrpc-server.c
index 4b83fd34..458c52db 100644
--- a/ovsdb/jsonrpc-server.c
+++ b/ovsdb/jsonrpc-server.c
@@ -17,6 +17,7 @@
 
 #include "jsonrpc-server.h"
 
+#include <assert.h>
 #include <errno.h>
 
 #include "column.h"