From 734e203b65cf69fc1473046341dd21fbcdd6df65 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 25 Jul 2013 18:34:48 +0200 Subject: [PATCH] ltlcross: missing newline in error message. * src/bin/ltlcross.cc: Add that missing new line. * NEWS: Mention it. --- NEWS | 3 ++- src/bin/ltlcross.cc | 4 ++-- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/NEWS b/NEWS index feddc4544..eb2ec2e4d 100644 --- a/NEWS +++ b/NEWS @@ -5,7 +5,8 @@ New in spot 1.1.3a (not released) parse guards of the form (a) || (b) output by ltl2ba or ltl3ba, and would only understand ((a) || (b)). - When used from ltlcross, the same parser would fail to - parser further neverclaims after the first failure. + parse further neverclaims after the first failure. + - Add a missing newline in some error message of ltlcross. New in spot 1.1.3 (2013-07-09) diff --git a/src/bin/ltlcross.cc b/src/bin/ltlcross.cc index db5deed23..892c570c7 100644 --- a/src/bin/ltlcross.cc +++ b/src/bin/ltlcross.cc @@ -805,9 +805,9 @@ namespace } err << "} when evaluating "; if (products > 1) - err << "state-space #" << p << "/" << products; + err << "state-space #" << p << "/" << products << "\n"; else - err << "the state-space"; + err << "the state-space\n"; } }