diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2017-05-27 11:30:30 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-05-27 11:30:30 +0200 |
commit | 6a088335163be87d53ece476281d9baa3fcba0a4 (patch) | |
tree | 7aa37f034a976f44f5ecc68c42b2429d48a97429 /modules/gdscript/gd_tokenizer.h | |
parent | 168d8a57dac98ae82ff16a5c89fce63d84efc3ca (diff) | |
parent | 015d36d18bb3f9fe21452a470aac2c3a3597b92f (diff) |
Merge pull request #8933 from Hinsbart/is_keyword
GDScript: Use "is" keyword for type checking.
Diffstat (limited to 'modules/gdscript/gd_tokenizer.h')
-rw-r--r-- | modules/gdscript/gd_tokenizer.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/modules/gdscript/gd_tokenizer.h b/modules/gdscript/gd_tokenizer.h index ea7629b661..c051176097 100644 --- a/modules/gdscript/gd_tokenizer.h +++ b/modules/gdscript/gd_tokenizer.h @@ -96,6 +96,7 @@ public: TK_PR_FUNCTION, TK_PR_CLASS, TK_PR_EXTENDS, + TK_PR_IS, TK_PR_ONREADY, TK_PR_TOOL, TK_PR_STATIC, |