From 0827860afb7a7e7560c08037c7dae8794480bbb8 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Thu, 9 Jun 2022 12:37:14 +0000
Subject: [PATCH] goto-diff: include --verbosity in help output

Add missing command-line option documentation for --verbosity.
---
 src/goto-diff/goto_diff_parse_options.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/goto-diff/goto_diff_parse_options.cpp b/src/goto-diff/goto_diff_parse_options.cpp
index 71a7c29db1a..3dcc59b7eaa 100644
--- a/src/goto-diff/goto_diff_parse_options.cpp
+++ b/src/goto-diff/goto_diff_parse_options.cpp
@@ -247,6 +247,7 @@ void goto_diff_parse_optionst::help()
     " --version                    show version and exit\n"
     " --json-ui                    use JSON-formatted output\n"
     HELP_FLUSH
+    " --verbosity #                verbosity level\n"
     HELP_TIMESTAMP
     "\n";
   // clang-format on