* src/bin/ltlcross.cc: Fix 80 columns.

348e1ee2 · Alexandre Duret-Lutz · 56188c70 · 348e1ee2
Commit 348e1ee2 authored Jul 01, 2015 by Alexandre Duret-Lutz
--- a/src/bin/ltlcross.cc
+++ b/src/bin/ltlcross.cc
@@ -1312,8 +1312,8 @@ namespace
 	      if (neg[i])
 		{
 		  if (verbose)
-		    std::cerr << ("info: building product between state-space and"
+		    std::cerr << ("info: building product between state-space"
-				  " N") << i
+				  " and N") << i
 			      << " (" << neg[i]->num_states() << " st., "
 			      << neg[i]->num_edges() << " ed.)\n";