Merge pull request #2752 from heidihoward/ACTION-CONSTRAINT

Update TLC cfg file syntax
apalache-mc · Oct 9, 2023 · ec4cc94 · ec4cc94
2 parents b42012a + 7d5b188
commit ec4cc94
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/src/apalache/tlc-config.md b/docs/src/apalache/tlc-config.md
@@ -124,7 +124,7 @@ StateConstraints ::=
 // that restricts the transitions to be explored.
 // APALACHE IGNORES THIS CONFIGURATION OPTION.
 ActionConstraints ::=
-    ("ACTION-CONSTRAINT" | "ACTION-CONSTRAINTS") ident*
+    ("ACTION_CONSTRAINT" | "ACTION_CONSTRAINTS") ident*
 
 // Set the name of an operator that produces a set of permutations
 // for symmetry reduction.