From 08c2424e2ea6bec70c082631d6df855e67d14f6e Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 11 Jun 2021 11:48:40 +0200 Subject: [PATCH] ltlfilt: fix a typo in the --help text * bin/ltlfilt.cc: Here. --- bin/ltlfilt.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/ltlfilt.cc b/bin/ltlfilt.cc index 02596cde1..cc9e0f02b 100644 --- a/bin/ltlfilt.cc +++ b/bin/ltlfilt.cc @@ -1,5 +1,5 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2012-2020 Laboratoire de Recherche et Développement +// Copyright (C) 2012-2021 Laboratoire de Recherche et Développement // de l'Epita (LRDE). // // This file is part of Spot, a model checking library. @@ -252,7 +252,7 @@ static const argp_option options[] = "wall-clock time elapsed in seconds (excluding parsing)", 0 }, { "%R, %[LETTERS]R", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, - "CPU time (excluding parsing), in seconds; Add LETTERS to restrict to" + "CPU time (excluding parsing), in seconds; Add LETTERS to restrict to " "(u) user time, (s) system time, (p) parent process, " "or (c) children processes.", 0 }, { "%<", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE,