1 files changed, 1 insertions, 0 deletions
diff --git a/tools/gpg-wks.h b/tools/gpg-wks.h
index 1b91b6504..fba73f085 100644
--- a/tools/gpg-wks.h
+++ b/tools/gpg-wks.h
@@ -36,6 +36,7 @@ struct
   unsigned int debug;
   int quiet;
   int use_sendmail;
+  int with_colons;
   const char *output;
   const char *gpg_program;
   const char *directory;