formatting

informalsystems · Dec 16, 2024 · 6f45a72 · 6f45a72
1 parent 6f00f7b
commit 6f45a72
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/quint/src/itf.ts b/quint/src/itf.ts
@@ -170,7 +170,9 @@ export function toItf(vars: string[], states: QuintEx[], mbtMetadata: boolean =
       )
     )
   ).mapRight(s => {
-    if (mbtMetadata) {vars = [...vars, ACTION_TAKEN, NONDET_PICKS]}
+    if (mbtMetadata) {
+      vars = [...vars, ACTION_TAKEN, NONDET_PICKS]
+    }
     return {
       vars: vars,
       states: s,