diff options
Diffstat (limited to 'examples/attempto/TestAttemptoEng.gf')
| -rw-r--r-- | examples/attempto/TestAttemptoEng.gf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/attempto/TestAttemptoEng.gf b/examples/attempto/TestAttemptoEng.gf index 1eefd49b6..2cf864744 100644 --- a/examples/attempto/TestAttemptoEng.gf +++ b/examples/attempto/TestAttemptoEng.gf @@ -22,7 +22,7 @@ lin enter_V2 = mkV2 "enter" ; lin bank_N = mkkN "bank" ; lin satisfied_A = mkA "satisfied" ; lin lucky_A = mkA "lucky" ; -lin well_known_A = mkA "well" ; +lin well_known_A = mkA "well-known" ; lin important_A = mkA "important" ; lin expensive_A = mkA "expensive" ; lin fill_in_V2 = mkV2 (partV (mkV "fill") "in") ; |