diff options
Diffstat (limited to 'examples/attempto/AttemptoI.gf')
| -rw-r--r-- | examples/attempto/AttemptoI.gf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/examples/attempto/AttemptoI.gf b/examples/attempto/AttemptoI.gf index f81631641..9343d8bae 100644 --- a/examples/attempto/AttemptoI.gf +++ b/examples/attempto/AttemptoI.gf @@ -251,6 +251,7 @@ lin impVP vp = mkText (mkImp vp) ; lin numeralCard n = mkCard <lin Numeral n : Numeral> ; lin digitsCard n = mkCard <lin Digits n : Digits> ; lin have_V2 = Syntax.have_V2 ; +lin v2_byVP v2 np = mkVP (passiveVP v2) (mkAdv by8agent_Prep np) ; } |