Add run to mode list

informalsystems · Jan 13, 2023 · 10b4bfa · 10b4bfa
1 parent 2b80018
commit 10b4bfa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/quint/src/effects/modeChecker.ts b/quint/src/effects/modeChecker.ts
@@ -165,7 +165,7 @@ function collectVariables(v: Variables): Variables[] {
 }
 
 const modeOrder =
-  ['pureval', 'puredef', 'val', 'def', 'nondet', 'action', 'temporal']
+  ['pureval', 'puredef', 'val', 'def', 'nondet', 'action', 'temporal', 'run']
 
 function commonMode(m1: OpQualifier, m2: OpQualifier): OpQualifier {
   const p1 = modeOrder.findIndex(elem => elem === m1)