#626: rename

objectionary · Dec 12, 2024 · 1510512 · 1510512
1 parent eab71bd
commit 1510512
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/eo-phi-normalizer/src/Language/EO/Phi/Rules/Common.hs b/eo-phi-normalizer/src/Language/EO/Phi/Rules/Common.hs
@@ -364,7 +364,7 @@ applyRulesChainWith limits@ApplicationLimits{..} obj
       ctx <- getContext
       if isNF ctx obj
         then do
-          logStep "Normal form" obj
+          logStep "NF" obj
           return obj
         else do
           (ruleName, obj') <- choose (applyOneRule ctx obj)