diff options
Diffstat (limited to 'tests/example2.v')
| -rw-r--r-- | tests/example2.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/example2.v b/tests/example2.v index 79f230ab57..d89dcfd450 100644 --- a/tests/example2.v +++ b/tests/example2.v @@ -16,7 +16,7 @@ Qed. Goal exists n, n = 0. Proof. -let myvar := Std.NamedHyp @x in split with (?myvar := 0). +let myvar := Std.NamedHyp @x in split with ($myvar := 0). split. Qed. |