From d8e93c3733bd0eb801eced680d1352b11b29d231 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Pecka?= <peckato1@fit.cvut.cz>
Date: Thu, 1 May 2014 23:36:12 +0200
Subject: [PATCH] atrim: typo
---
atrim/src/atrim.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/atrim/src/atrim.cpp b/atrim/src/atrim.cpp
index ca0f4c9371..be2afaa512 100644
--- a/atrim/src/atrim.cpp
+++ b/atrim/src/atrim.cpp
@@ -24,7 +24,7 @@ void help( void )
{
cout << "atrim 0.01" << endl;
cout << "Removes unreachable and useless states from FSM, productive and unreachable nonterminals from CFG." << endl;
- cout << "Usage: atrim [-d] [-r]" << endl << endl;
+ cout << "Usage: atrim [-u] [-r]" << endl << endl;
cout << "If neither --useless nor --unreachable option is used, both useless and unreachable states (or symbols) are removed." << endl;
cout << endl;
cout << " -u, --useless \t Removes useless states only (works with FSM only)." << endl;
--
GitLab