From cf66544941364ae2c0ed45486ac7b16e61422061 Mon Sep 17 00:00:00 2001 From: Nick Mathewson Date: Fri, 22 Jun 2018 13:10:52 -0400 Subject: Two more small changes for CI. --- src/lib/log/util_bug.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/lib/log') diff --git a/src/lib/log/util_bug.c b/src/lib/log/util_bug.c index cdd8624299..161b65e0bf 100644 --- a/src/lib/log/util_bug.c +++ b/src/lib/log/util_bug.c @@ -17,6 +17,8 @@ #include "lib/malloc/util_malloc.h" #include "lib/string/printf.h" +#include + #ifdef __COVERITY__ int bug_macro_deadcode_dummy__ = 0; #endif -- cgit v1.2.3-54-g00ecf