From b1ddd7539b7f3b0d7d6fca0a38dce1718f645ec2 Mon Sep 17 00:00:00 2001
From: Nikolai Kudasov <nickolay.kudasov@gmail.com>
Date: Thu, 11 Jan 2024 17:05:18 +0300
Subject: [PATCH] Update yegor.yaml rule set

---
 eo-phi-normalizer/test/eo/phi/rules/yegor.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/eo-phi-normalizer/test/eo/phi/rules/yegor.yaml b/eo-phi-normalizer/test/eo/phi/rules/yegor.yaml
index 1d8067668..20968a415 100644
--- 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" ]