From 4beacc0f6494b9ed27d0a25046bce1cdc5ac1fcf Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Tue, 9 Aug 2022 11:22:57 +0200
Subject: [PATCH] added linref PN

---
 src/polish/CatPol.gf | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/polish/CatPol.gf b/src/polish/CatPol.gf
index e8bcabaa..a5b47971 100644
--- a/src/polish/CatPol.gf
+++ b/src/polish/CatPol.gf
@@ -126,6 +126,7 @@ concrete CatPol of Cat = CommonX - [CAdv] ** open ResPol, Prelude, (R = ParamX)
   linref
     A = \a -> a.pos.s1 ;
     A2 = \a -> a.pos.s1 ++ a.c.s ;
+    PN = \pn -> pn.nom ;
 
 };