GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-05-27 08:58:55 -06:00
Code Issues Packages Projects Releases Wiki Activity

fix compilation

Browse Source
This commit is contained in:
Krasimir Angelov
2026-02-18 09:06:06 +01:00
parent e9ecb1a8d6
commit 066133bbae
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/scots/ExtendSco.gf
View File

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