1 files changed, 2 insertions, 1 deletions
diff --git a/deheader b/deheader
index 9bbb4ff..b0922a4 100755
--- a/deheader
+++ b/deheader
@@ -1452,7 +1452,8 @@ class Summary:
 if __name__ == "__main__":
     (options, arguments) = getopt.getopt(sys.argv[1:], "hi:m:rvx:V",
                                          ["help", "ignore",
-                                          "remove", "verbose",])
+                                          "remove", "verbose",
+                                          "version"])
     maker = "make"
     verbose = 0
     quiet = False