# HG changeset patch
# User desharna
# Date 1718085733 -7200
# Node ID 9f7214d0088443254a873b6ff7a4b81a282d820f
# Parent  4bed658a01fc8eb273168c418551d67faa56ee9a
fixed NEWS

diff -r 4bed658a01fc -r 9f7214d00884 NEWS
--- a/NEWS	Mon Jun 10 23:24:33 2024 +0200
+++ b/NEWS	Tue Jun 11 08:02:13 2024 +0200
@@ -13,7 +13,7 @@
       accp_wfPI ~> accp_wfpI
       wfPUNIVI ~> wfpUNIVI
       wfP_SUP ~> wfp_SUP
-      wfP_accp_iff ~> wfp_accp_iff
+      wfP_accp_iff ~> wfp_iff_accp
       wfP_acyclicP ~> wfp_acyclicP
       wfP_def ~> wfp_def
       wfP_empty ~> wfp_empty