diff options
| author | Nick Mathewson <nickm@torproject.org> | 2018-06-22 13:10:52 -0400 |
|---|---|---|
| committer | Nick Mathewson <nickm@torproject.org> | 2018-06-22 13:10:52 -0400 |
| commit | cf66544941364ae2c0ed45486ac7b16e61422061 (patch) | |
| tree | 330c0d0d4729cc642097489bdecb89b10f45709b /src/lib/log | |
| parent | 7aecea79cb7f48ce5a8620b4a9fc2534289b4d5d (diff) | |
| download | tor-cf66544941364ae2c0ed45486ac7b16e61422061.tar.gz tor-cf66544941364ae2c0ed45486ac7b16e61422061.zip | |
Two more small changes for CI.
Diffstat (limited to 'src/lib/log')
| -rw-r--r-- | src/lib/log/util_bug.c | 2 |
1 files changed, 2 insertions, 0 deletions
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 <string.h> + #ifdef __COVERITY__ int bug_macro_deadcode_dummy__ = 0; #endif |