alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

ltlcross: missing newline in error message.

Browse source 
* src/bin/ltlcross.cc: Add that missing new line.
* NEWS: Mention it.
This commit is contained in:
Alexandre Duret-Lutz 2013-07-25 18:34:48 +02:00
parent 5046f6d9db
commit 734e203b65
2 changed files with 4 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
NEWS
View file

@ -5,7 +5,8 @@ New in spot 1.1.3a (not released)
parse guards of the form (a) || (b) output by ltl2ba or parse guards of the form (a) || (b) output by ltl2ba or
ltl3ba, and would only understand ((a) || (b)). ltl3ba, and would only understand ((a) || (b)).
- When used from ltlcross, the same parser would fail to - 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) New in spot 1.1.3 (2013-07-09)

4
src/bin/ltlcross.cc
View file

@ -805,9 +805,9 @@ namespace
} }
err << "} when evaluating "; err << "} when evaluating ";
if (products > 1) if (products > 1)
err << "state-space #" << p << "/" << products; err << "state-space #" << p << "/" << products << "\n";
else else
err << "the state-space"; err << "the state-space\n";
} }
} }