From fb642c6df56d4eae9b825f8f906e66c419fc88b2 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 13 Oct 2015 13:40:12 +0200 Subject: [PATCH] * src/bin/ltlcross.cc: Typo. --- src/bin/ltlcross.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/bin/ltlcross.cc b/src/bin/ltlcross.cc index 6067ba184..86a9b0272 100644 --- a/src/bin/ltlcross.cc +++ b/src/bin/ltlcross.cc @@ -1069,7 +1069,7 @@ namespace << std::endl; if (verbose) - std::cerr << "info: getting rid of any Inf acceptance...\n"; + std::cerr << "info: getting rid of any Fin acceptance...\n"; for (unsigned i = 0; i < m; ++i) { #define DO(x, prefix, suffix) if (x[i]) \