Nikolai Weibull c64d4efb31 Remove redefined starts and defines inside include elements ...

When including a grammar from another grammar, we need to make sure that any
redefines of starts and includes that that grammar does inside any of its
include elements are also removed.

2018-11-29 21:06:06 +01:00

0 lines

Plaintext

Raw Blame History