Merge pull request #9 from drskinner/COV-0051

COV-0051: Fix bitvector file writes
drskinner · Oct 13, 2017 · 42b02d6 · 42b02d6
2 parents 07d9d9b + cfe795b
commit 42b02d6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/misc.c b/src/misc.c
@@ -1505,7 +1505,7 @@ char *print_bitvector(EXT_BV * bits)
       break;
   for (x = 0; x <= cnt; x++)
   {
-    snprintf(p, (XBI * 12) - (p - buf), "%ud", bits->bits[x]);
+    snprintf(p, (XBI * 12) - (p - buf), "%u", bits->bits[x]);
     p += strlen(p);
     if (x < cnt)
       *p++ = '&';