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

eval: Fix typography in error messages

Browse source 
* spot/twaalgos/word.cc: Here.
* tests/python/word.ipynb: Adjust.
This commit is contained in:
Alexandre Duret-Lutz 2016-03-07 22:34:06 +01:00
parent f9e2143a53
commit 6bfde8e454
2 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

4
spot/twaalgos/word.cc
View file

@ -190,7 +190,7 @@ namespace spot
word_parse_error(word, word.size(),
"A twa_word must contain a cycle");
if (word[ind] == '}')
word_parse_error(word, ind, "Expected ';' delimiter :"
word_parse_error(word, ind, "Expected ';' delimiter: "
"'}' stands for ending a cycle");
// Exract formula, convert it to bdd and add it to the prefix sequence
extract_bdd(tw->prefix);
@ -211,7 +211,7 @@ namespace spot
break;
if (i == std::string::npos)
word_parse_error(word, ind + 1,
"Missing end of cycle character : '}'");
"Missing end of cycle character: '}'");
}
if (ind != word.size() - 1)
word_parse_error(word, ind + 1, "Input should be finished after cycle");