diff --git a/eo-phi-normalizer/test/eo/phi/dataization.yaml b/eo-phi-normalizer/test/eo/phi/dataization.yaml index 0eda0649..bcfb11bd 100644 --- 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: