diff options
Diffstat (limited to 'examples/attempto/TestAttemptoEng.gf')
| -rw-r--r-- | examples/attempto/TestAttemptoEng.gf | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/examples/attempto/TestAttemptoEng.gf b/examples/attempto/TestAttemptoEng.gf index 75c1c4755..bf7333307 100644 --- a/examples/attempto/TestAttemptoEng.gf +++ b/examples/attempto/TestAttemptoEng.gf @@ -76,6 +76,8 @@ lin mary_PN = mkPN "mary" ; lin machine_N = mkkN "machine" ; lin correct_A = mkA "correct" ; +lin kilogram_Unit = mkkN "kilogram" ; + oper mkkN : Str -> CN = \n -> mkCN (ParadigmsEng.mkN n) ; lin |