From e97f31c175f17826934b4c5ec9f0cf8c933bef58 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Fri, 31 Jan 2014 21:15:21 +0000
Subject: [PATCH] found one type error in the whole RGL with the new
 (experimental) type checker, and fixed it.

---
 lib/src/greek/ParadigmsGre.gf | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/lib/src/greek/ParadigmsGre.gf b/lib/src/greek/ParadigmsGre.gf
index f5df91960..06053249c 100644
--- a/lib/src/greek/ParadigmsGre.gf
+++ b/lib/src/greek/ParadigmsGre.gf
@@ -222,10 +222,10 @@ oper
         dirV3    : V -> Prep -> V3 ;          -- dino,_,se
         dirdirV3 : V -> V3 ;                  -- dino,_,_
 
-
-        mmkV : V -> Str -> V ;
-        mmkV v s = v ** {s = s } ;
-        expressV : V -> Str -> V = \v,s -> mmkV v s ;
+--- type-incorrect to replace VForm => Str by Str. AR 31/1/2014
+---        mmkV : V -> Str -> V ;
+---        mmkV v s = v ** {s = s } ;
+---        expressV : V -> Str -> V = \v,s -> mmkV v s ;
 
         mmkV2 : V -> Prep -> V2 ;
         mmkV2 v p = v ** {c2 = p ; lock_V2 = <>} ;