diff options
Diffstat (limited to 'examples/attempto/LexAttempto.gf')
| -rw-r--r-- | examples/attempto/LexAttempto.gf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/examples/attempto/LexAttempto.gf b/examples/attempto/LexAttempto.gf index 7bfa593d3..3d18d3ca4 100644 --- a/examples/attempto/LexAttempto.gf +++ b/examples/attempto/LexAttempto.gf @@ -22,4 +22,5 @@ oper comma_and_Conj : Conj ; comma_or_Conj : Conj ; + whose_IDet : IDet ; } |