docstring: add missing space

This commit is contained in:
Leo Arias 2018-04-22 05:21:06 +00:00
parent d674cde34c
commit b74566e4ea
3 changed files with 7 additions and 1 deletions

View File

@ -72,7 +72,7 @@ bool DocStringParser::parse(string const& _docString, ErrorReporter& _errorRepor
auto tagNameEndPos = firstWhitespaceOrNewline(tagPos, end);
if (tagNameEndPos == end)
{
appendError("End of tag " + string(tagPos, tagNameEndPos) + "not found");
appendError("End of tag " + string(tagPos, tagNameEndPos) + " not found");
break;
}

View File

@ -0,0 +1,6 @@
contract C {
/// @param
function vote(uint id) public;
}
// ----
// DocstringParsingError: End of tag @param not found