From 348e1ee22b3a3c74848c861775ee74dfaa4fc674 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 1 Jul 2015 10:04:09 +0200
Subject: [PATCH] * src/bin/ltlcross.cc: Fix 80 columns.

---
 src/bin/ltlcross.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/bin/ltlcross.cc b/src/bin/ltlcross.cc
index a15901b20..90496d3b7 100644
--- 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"
-				  " N") << i
+		    std::cerr << ("info: building product between state-space"
+				  " and N") << i
 			      << " (" << neg[i]->num_states() << " st., "
 			      << neg[i]->num_edges() << " ed.)\n";