From 8cea82f5c6adf438377d90c1fe167584bd1f985a Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 15 Apr 2020 21:10:39 +0200 Subject: [PATCH] autcross: typo in --help * bin/autcross.cc: Fix typo in description of --save-bogus. Reported by Juraj Major. --- bin/autcross.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/autcross.cc b/bin/autcross.cc index 437759429..81b6bcef5 100644 --- a/bin/autcross.cc +++ b/bin/autcross.cc @@ -1,5 +1,5 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2017, 2018, 2019 Laboratoire de Recherche et Développement de +// Copyright (C) 2017-2020 Laboratoire de Recherche et Développement de // l'Epita (LRDE). // // This file is part of Spot, a model checking library. @@ -116,7 +116,7 @@ static const argp_option options[] = { "quiet", 'q', nullptr, 0, "suppress all normal output in absence of errors", 0 }, { "save-bogus", OPT_BOGUS, "[>>]FILENAME", 0, - "save formulas for which problems were detected in FILENAME", 0 }, + "save automata for which problems were detected in FILENAME", 0 }, { "verbose", OPT_VERBOSE, nullptr, 0, "print what is being done, for debugging", 0 }, { nullptr, 0, nullptr, 0,