Update tla-io/src/main/scala/at/forsyte/apalache/io/quint/Quint.scala

Co-authored-by: Gabriela Moreira <[email protected]>
apalache-mc · Dec 1, 2023 · 0bca067 · 0bca067
1 parent d906595
commit 0bca067
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tla-io/src/main/scala/at/forsyte/apalache/io/quint/Quint.scala b/tla-io/src/main/scala/at/forsyte/apalache/io/quint/Quint.scala
@@ -416,7 +416,7 @@ class Quint(quintOutput: QuintOutput) {
 
     // the quint builtin operator representing match expressions looks like
     //
-    // matchVariant(expr, "F1", elim_1, ..., "Fn", elim_n, "_", defaultElim)
+    // matchVariant(expr, "F1", elim_1, ..., "Fn", elim_n[, "_", defaultElim])
     //
     // Where each `elim_i` is an operator applying to value wrapped in field `Fi` of a variant.
     //