corrected Extra; corrected Nor.si_V

This commit is contained in:
aarne
2006-06-03 22:09:15 +00:00
parent 1c0de03529
commit d56e630046
4 changed files with 1 additions and 4 deletions

View File

@@ -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) ;
}