corrected Extra; corrected Nor.si_V

2006-06-03 22:09:15 +00:00
parent bba26c5da1
commit 169fc1ba7d
4 changed files with 1 additions and 4 deletions
--- a/resource-1.0/scandinavian/ExtraScand.gf
+++ b/resource-1.0/scandinavian/ExtraScand.gf
@@ -6,7 +6,6 @@ incomplete concrete ExtraScand of ExtraScandAbs = CatScand ** open CommonScand,R
      det = DDef Indef
      } ;

-    EmbedBareS s = {s = s.s ! Sub} ;
    ComplBareVS v s  = insertObj (\\_ => s.s ! Sub) (predV v) ;

 }