missing Pred functions in Fin

2014-03-09 10:38:03 +00:00
parent de29bc443c
commit 9678492c61
4 changed files with 141 additions and 43 deletions
--- a/src/experimental/PredFunctor.gf
+++ b/src/experimental/PredFunctor.gf
@@ -25,7 +25,7 @@ lincat

  VPC = {
    v   : VAgr => Str ;
-    inf : Agr => VVType => Str ; 
+    inf : Agr => PredInterface.VVType => Str ; 
    imp : ImpType => Str ;
    c1  : ComplCase ; 
    c2  : ComplCase ;