* src/ltltest/randltl.cc: Typo.

ChangeLog

+2005-01-11  Denis Poitrenaud  <Denis.Poitrenaud@lip6.fr>
+
+	* src/ltltest/randltl.cc: Typo.
+
 2005-01-11  Denis Poitrenaud  <Denis.Poitrenaud@lip6.fr>
 
 	* src/tgbaparse/tgbaparse.yy: Accept automaton without state.

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);
     }