From f6576c4b36ad0e0a1d08fe7e7a8134cb17e8b47c Mon Sep 17 00:00:00 2001
From: aarneranta <aarne@chalmers.se>
Date: Tue, 8 Sep 2026 14:29:12 +0200
Subject: [PATCH] added a type annotation to make ExtendGer compile with v.
 3.12 type checker

---
 src/german/ExtendGer.gf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/german/ExtendGer.gf b/src/german/ExtendGer.gf
index 30ef1bd6..aa02f82c 100644
--- a/src/german/ExtendGer.gf
+++ b/src/german/ExtendGer.gf
@@ -389,7 +389,7 @@ concrete ExtendGer of Extend =
       in ap ** { s = \\af => ap.s ! af ++ adv } ; -- e.g. unknown in one's youth
 
     AdvRVP vp prep rnp =
-      insertAdv (appPrep prep (\\c => rnp.s ! agrP3 Sg ! Obj c) ++ rnp.ext ++ rnp.rc) vp ;
+      insertAdv (appPrep prep (table ObjCase {c => rnp.s ! agrP3 Sg ! Obj c}) ++ rnp.ext ++ rnp.rc) vp ;
 
     ReflA2RNP adj rnp = -- would need AP.c : Agr => Str*Str, not AP.c : Str*Str
       let                                            -- as we have no reflexive AP,