diff options
Diffstat (limited to 'examples')
| -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" ; |