diff options
| author | aarne <aarne@chalmers.se> | 2010-01-04 21:19:13 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-01-04 21:19:13 +0000 |
| commit | 6d0f248b67552b3920e431e2090ca66f1ca5060c (patch) | |
| tree | c720e52f2075f979c1e5d54d57f5aff6836a3f7c /examples/attempto/LexAttemptoFre.gf | |
| parent | 9cc1d15efe679ef2190fd9e61058253806528a58 (diff) | |
fixes in Attempto
Diffstat (limited to 'examples/attempto/LexAttemptoFre.gf')
| -rw-r--r-- | examples/attempto/LexAttemptoFre.gf | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/examples/attempto/LexAttemptoFre.gf b/examples/attempto/LexAttemptoFre.gf index 618f37175..b53017388 100644 --- a/examples/attempto/LexAttemptoFre.gf +++ b/examples/attempto/LexAttemptoFre.gf @@ -27,4 +27,6 @@ oper eachOf np = mkNP (mkPredet "chacun" "chacune" genitive P.True) np ; + adj_thatCl : A -> S -> Cl = \a,s -> mkCl (mkVP (mkAP (mkAP a) s)) ; + } |