From a028ebb818356a6854d4efcf36bccb2919469e19 Mon Sep 17 00:00:00 2001
From: Rodrigo Reichert <rodrigo.reichert@swift-nav.com>
Date: Tue, 8 Jun 2021 15:55:21 +1000
Subject: [PATCH] SV4-144 fix google flags default notation

---
 src/gflags_reporting.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/gflags_reporting.cc b/src/gflags_reporting.cc
index de6695c..20e0b1a 100644
--- a/src/gflags_reporting.cc
+++ b/src/gflags_reporting.cc
@@ -123,7 +123,7 @@ static string PrintStringFlagsWithQuotes(const CommandLineFlagInfo& flag,
 // Goes to some trouble to make pretty line breaks.
 string DescribeOneFlag(const CommandLineFlagInfo& flag) {
   string main_part;
-  SStringPrintf(&main_part, "    -%s (%s)",
+  SStringPrintf(&main_part, "    --%s (%s)",
                 flag.name.c_str(),
                 flag.description.c_str());
   const char* c_string = main_part.c_str();