Add forgotten hunks of branch master to smallAgr

2023-10-01 23:46:57 +02:00
parent 1cf6496883
commit e200403cf8
13 changed files with 325 additions and 115 deletions
--- a/src/german/IdiomGer.gf
+++ b/src/german/IdiomGer.gf
@@ -25,8 +25,7 @@ concrete IdiomGer of Idiom = CatGer **
    ExistIP ip = {
      s = \\m,t,a,p => 
            let 
-              cls = 
-                (mkClause "es" (agrP3 Sg)  (predV geben)).s ! m ! t ! a ! p ;
+              cls = (mkClause "es" (agrP3 Sg)  (predV geben)).s ! m ! t ! a ! p ;
              who = ip.s ! Acc
            in table {
              QDir   => who ++ cls ! Inv ;