comment on possible bug in PredFin

2014-03-31 12:27:47 +00:00
parent c77b137c14
commit 57c44d2af5
1 changed files with 1 additions and 1 deletions
--- 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 ** {