comment on possible bug in PredFin

2014-03-31 12:27:47 +00:00
1 parent 034a08489b
commit 82c25ddae8
@@ -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 ** {