Commit 1aacc60

committed

fix formatting

1 parent 7514d09 commit 1aacc60Copy full SHA for 1aacc60

1 file changed

+120

-120

lines changed

tla-io/src/test/scala/at/forsyte/apalache/io/itf
- TestItfJsonToTla.scala

1 file changed

+120

-120

lines changed

Comments

(0)