Merge pull request #3970 from elopio/test/docstring-tag-end

docstring: add missing space
This commit is contained in:
Alex Beregszaszi 2018-04-24 02:16:27 +01:00 committed by GitHub
commit 258ae8927e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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