apalache-mc/apalache

TLA+ pretty printer produces `[]` on empty tuples, which is invalid syntax

bugarela opened this issue · 0 comments

bugarela commented

Even after #2869, I still found a case where we produce []. TLC doesn't recognize this token properly, and as per the PR, we should be printing "U_OF_UNIT" instead.