X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fbacktrace.c;h=282f6b86828b0ba79b393730b5d856ce37e13847;hb=e7fc1e71a2d7c923335bfdfb3cc7c223936aee38;hp=d2d1e40e1353ea1d5d80446d06674eeed4fcbd75;hpb=28eec6e50c32c7e848835232aa321ad8fa30d987;p=openvswitch

diff --git a/lib/backtrace.c b/lib/backtrace.c
index d2d1e40e..282f6b86 100644
--- a/lib/backtrace.c
+++ b/lib/backtrace.c
@@ -23,7 +23,7 @@
 #include "compiler.h"
 #include "vlog.h"
 
-VLOG_DEFINE_THIS_MODULE(backtrace)
+VLOG_DEFINE_THIS_MODULE(backtrace);
 
 static uintptr_t OVS_UNUSED
 get_max_stack(void)