X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fstream-ssl.c;h=1fc7446fd588995ca73d2adb75e2c8365c37d5d7;hb=0df0e81da2351902c93e8a1ae1933523a91a8262;hp=05ba59151f6c7964012fad87db31ab31067e26c9;hpb=444b381ed174cc3add791197073a419f36ae8c69;p=openvswitch

diff --git a/lib/stream-ssl.c b/lib/stream-ssl.c
index 05ba5915..1fc7446f 100644
--- a/lib/stream-ssl.c
+++ b/lib/stream-ssl.c
@@ -45,7 +45,10 @@
 #include "timeval.h"
 #include "vlog.h"
 
-VLOG_DEFINE_THIS_MODULE(stream_ssl)
+VLOG_DEFINE_THIS_MODULE(stream_ssl);
+
+COVERAGE_DEFINE(ssl_session);
+COVERAGE_DEFINE(ssl_session_reused);
 
 /* Active SSL. */