From 57c44d2af5e2a06dde65684ba4cff572a5ed1701 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

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

diff --git a/lib/src/experimental/PredFin.gf b/lib/src/experimental/PredFin.gf
index c538c1343..596894dd0 100644
--- a/lib/src/experimental/PredFin.gf
+++ b/lib/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 ** {