added other skipped commit

release-v0.4.0.1
Riccardo Spagni 10 years ago
parent aa6e8a92f6
commit e5ac88819a
No known key found for this signature in database
GPG Key ID: 55432DF31CCD4FCD

@ -122,7 +122,7 @@ namespace Language
* \brief Returns the number of unique starting characters to be used for matching.
* \return Number of unique starting characters.
*/
std::string get_trim_length() const
int get_trim_length() const
{
return trim_length;
}

Loading…
Cancel
Save