From 81423bb743c6a30a808e5882e610dd18cc2435d8 Mon Sep 17 00:00:00 2001 From: Denis Poitrenaud Date: Tue, 11 Jan 2005 12:37:43 +0000 Subject: [PATCH] * src/ltltest/randltl.cc: Typo. --- ChangeLog | 4 ++++ src/ltltest/randltl.cc | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 2917e66ab..65f49007e 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2005-01-11 Denis Poitrenaud + + * src/ltltest/randltl.cc: Typo. + 2005-01-11 Denis Poitrenaud * src/tgbaparse/tgbaparse.yy: Accept automaton without state. diff --git a/src/ltltest/randltl.cc b/src/ltltest/randltl.cc index 483e0f413..4667b2b98 100644 --- a/src/ltltest/randltl.cc +++ b/src/ltltest/randltl.cc @@ -151,7 +151,7 @@ main(int argc, char** argv) if (opt_r > opt_f) { std::cerr << "-r's argument (" << opt_r << ") should not be larger than " - << "-f's (" << opt_F << ")" << std::endl; + << "-f's (" << opt_f << ")" << std::endl; exit(2); }