refactor(eo-phi-normalizer): format a test input

objectionary · Dec 29, 2024 · 211ec7c · 211ec7c
1 parent 08b735e
commit 211ec7c
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/eo-phi-normalizer/test/eo/phi/dataization.yaml b/eo-phi-normalizer/test/eo/phi/dataization.yaml
@@ -56,7 +56,9 @@ tests:
     input: |
       {
         ⟦
-          φ ↦ Φ̇.true.eq(α0 ↦ Φ̇.true)
+          φ ↦ Φ̇.true.eq(
+            Φ̇.true
+          )
         ⟧
       }
     output: