Revert "Quote bigints in integration tests"

This reverts commit 3f6bb18.
apalache-mc · Jul 24, 2023 · 2a073ab · 2a073ab
1 parent df860c0
commit 2a073ab
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/tla-io/src/test/resources/clockSync3.json b/tla-io/src/test/resources/clockSync3.json
diff --git a/tla-io/src/test/resources/tictactoe.json b/tla-io/src/test/resources/tictactoe.json