diff options
Diffstat (limited to 'server/src')
| -rw-r--r-- | server/src/parser/ast.lua | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/server/src/parser/ast.lua b/server/src/parser/ast.lua index db0dabd1..48d9eb3b 100644 --- a/server/src/parser/ast.lua +++ b/server/src/parser/ast.lua @@ -751,15 +751,15 @@ local Defs = { local labels = State.Label[#State.Label] local str = name[1] if labels[str] then - pushError { - type = 'REDEFINE_LABEL', - start = name.start, - finish = name.finish, - info = { - label = str, - related = {labels[str].start, labels[str].finish}, - } - } + --pushError { + -- type = 'REDEFINE_LABEL', + -- start = name.start, + -- finish = name.finish, + -- info = { + -- label = str, + -- related = {labels[str].start, labels[str].finish}, + -- } + --} else labels[str] = name end |