replaced context-sensitive implementation of allowing digits at the beginning of names with a more general implementation (Fixes #1730)

(cherry picked from commit 4d94f38f4b)
This commit is contained in:
Marc Zinnschlag 2015-09-15 14:57:07 +02:00 committed by cc9cii
parent ae1439f223
commit a2294117cd
3 changed files with 22 additions and 21 deletions

View file

@ -124,9 +124,6 @@ namespace Compiler
void listKeywords (std::vector<std::string>& keywords);
///< Append all known keywords to \a kaywords.
/// For the next token allow names to start with a digit.
void allowNameStartingwithDigit();
};
}