diff options
Diffstat (limited to 'tests/example1.v')
| -rw-r--r-- | tests/example1.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/example1.v b/tests/example1.v index 1b26aad824..023791050f 100644 --- a/tests/example1.v +++ b/tests/example1.v @@ -24,3 +24,4 @@ Goal forall n m, n + m = 0 -> n = 0. Proof. refine (fun () => '(fun n m H => _)). let t := get_hyp_by_name @H in Message.print (Message.of_constr t). +Abort. |