From e91cd9c83253ea7b12ec6b791469c1499304c934 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 16 Nov 2009 15:21:56 +0000 Subject: Dutch lexicon generated via Google translate; method in lib/src/MkExx.hs --- examples/attempto/LexAttemptoEng.gf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'examples') diff --git a/examples/attempto/LexAttemptoEng.gf b/examples/attempto/LexAttemptoEng.gf index b2b9c3d4b..ada776cb9 100644 --- a/examples/attempto/LexAttemptoEng.gf +++ b/examples/attempto/LexAttemptoEng.gf @@ -12,7 +12,7 @@ oper necessary_A = mkA "necessary" ; own_A = mkA "own" ; have_VV = mkVV have_V ; - provably_Adv = mkAdv "provably" ; + provably_Adv = ParadigmsEng.mkAdv "provably" ; provable_A = mkA "provable" ; false_A = mkA "false" ; such_A = mkA "such" ; -- cgit v1.2.3