From 066133bbae8575ee281f7e11069c34a98c628df6 Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Wed, 18 Feb 2026 09:06:06 +0100 Subject: [PATCH] fix compilation --- src/scots/ExtendSco.gf | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 ;