1 files changed, 1 insertions, 0 deletions
diff --git a/zishrink.awk b/zishrink.awk
index 02c883a62620..c629109f98f6 100644
--- a/zishrink.awk
+++ b/zishrink.awk
@@ -144,6 +144,7 @@ function output_saved_lines(i)
 }
 
 BEGIN {
+  print "# version", version
   print "# This zic input file is in the public domain."
 }