diff options
| author | aarne <aarne@chalmers.se> | 2009-11-16 15:21:56 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2009-11-16 15:21:56 +0000 |
| commit | e91cd9c83253ea7b12ec6b791469c1499304c934 (patch) | |
| tree | 4e6ee656548b098b1d3a3df944e4ffe4c3566dad /examples/attempto | |
| parent | dcc2888fafb1ab1066f5faed3b5dd52bbb4a4124 (diff) | |
Dutch lexicon generated via Google translate; method in lib/src/MkExx.hs
Diffstat (limited to 'examples/attempto')
| -rw-r--r-- | examples/attempto/LexAttemptoEng.gf | 2 |
1 files changed, 1 insertions, 1 deletions
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" ; |