From 66bd5db0afec170830f2f21a88ea10d1c965a9e2 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 6 Dec 2019 11:32:01 +0100
Subject: [PATCH] bin: fix documentation of --trust-hoa

* bin/common_hoaread.cc: Here.  Reported by Juraj Major.
---
 bin/common_hoaread.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bin/common_hoaread.cc b/bin/common_hoaread.cc
index 919378da4..d77c10771 100644
--- a/bin/common_hoaread.cc
+++ b/bin/common_hoaread.cc
@@ -30,8 +30,8 @@ enum
 static const argp_option options[] =
 {
   { "trust-hoa", OPT_TRUST_HOA, "BOOL", 0,
-    "If False, properties listed in HOA files are ignored, "
-    "unless they can be easily verified.  If True (the default) "
+    "If false, properties listed in HOA files are ignored, "
+    "unless they can be easily verified.  If true (the default) "
     "any supported property is trusted.", 1 },
   { nullptr, 0, nullptr, 0, nullptr, 0 }
 };