Fix formatting

apalache-mc · Sep 3, 2024 · cecb070 · cecb070
1 parent 90acff9
commit cecb070
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/tla-io/src/test/scala/at/forsyte/apalache/io/quint/TestQuintIR.scala b/tla-io/src/test/scala/at/forsyte/apalache/io/quint/TestQuintIR.scala
@@ -49,7 +49,8 @@ class TestQuintIR extends AnyFunSuite {
 
   test("Simple QuintDef works correctly") {
     val quintDef = QuintOpDef(1, "myDef", "val", QuintBool(2, true))
-    assert(QuintDeserializer.write[QuintDef](quintDef) == """{"kind":"def","id":1,"name":"myDef","qualifier":"val","expr":{"kind":"bool","id":2,"value":true}}""")
+    assert(QuintDeserializer.write[QuintDef](
+        quintDef) == """{"kind":"def","id":1,"name":"myDef","qualifier":"val","expr":{"kind":"bool","id":2,"value":true}}""")
   }
 
   test("QuintTypeDef works correctly") {