Parse error is reported falsely - Githubissues

ocadaruma / tlaplus-intellij-plugin

Intellij plugin for TLA+ formal specification language.

Apache License 2.0

51 stars 2 forks source link

Parse error is reported falsely #35

Closed ocadaruma closed 6 months ago

ocadaruma commented 1 year ago

https://github.com/Vanlightly/kafka-tlaplus/blob/853bca9112f9d4de11307008da357d9c0e0197f8/kafka_data_replication/kraft/v3.5/kafka_replication_v3_5.tla