diff --git a/src/scots/ExtendSco.gf b/src/scots/ExtendSco.gf index 9a704b64..8436659a 100644 --- a/src/scots/ExtendSco.gf +++ b/src/scots/ExtendSco.gf @@ -1,9 +1,9 @@ --# -path=.:../common:../abstract -concrete ExtendSco of Extend = ExtendEng-[passVPSlash,PassVPSlash,PassAgentVPSlash,ProgrVPSlash] ** open ResSco in { +concrete ExtendSco of Extend = ExtendEng-[passVPSlash,PassVPSlash,PassAgentVPSlash,ProgrVPSlash] ** open Prelude, ResSco in { oper - passVPSlash : VPSlash -> Str -> ResEng.VP = + passVPSlash : VPSlash -> Str -> ResSco.VP = \vps,ag -> let be = predAux auxBe ;