From 82c25ddae869b120f706f8571758993506228154 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Mon, 31 Mar 2014 12:27:47 +0000
Subject: [PATCH] comment on possible bug in PredFin

---
 src/experimental/PredFin.gf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/experimental/PredFin.gf b/src/experimental/PredFin.gf
index c538c134..596894dd 100644
--- a/src/experimental/PredFin.gf
+++ b/src/experimental/PredFin.gf
@@ -56,7 +56,7 @@ lin
     } ;
 
   ComplV2 x vp np =  vp ** {
-    obj1 = \\_ => appCompl True Pos vp.c1 np ;
+    obj1 = \\_ => appCompl True Pos vp.c1 np ; ---- True,Pos ?
     } ;
 
   PredVP x np vp = vp ** {