Update yegor.yaml rule set

objectionary · Jan 13, 2024 · b1ddd75 · b1ddd75
1 parent 3742902
commit b1ddd75
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/eo-phi-normalizer/test/eo/phi/rules/yegor.yaml b/eo-phi-normalizer/test/eo/phi/rules/yegor.yaml
@@ -5,6 +5,6 @@ rules:
     pattern: |
       ⟦ ?a ↦ ?n, ?B ⟧.?a
     result: |
-      ?n(ρ ↦ ?B)
+      ?n(ρ ↦ ⟦ ?B ⟧)
     when:
       - nf: [ "?n" ]