Secrets wrongly extracted when keywords on comments #148
Description
Minimal example
sig a {}
//SECRET
run {some a }
// pred a
opens in the public link as
sig a {}
pred a
{{ message }}
Minimal example
sig a {}
//SECRET
run {some a }
// pred a
opens in the public link as
sig a {}
pred a