From 1e4ac27962aaab5132c9294156ac2a0da9652a43 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Tue, 2 Oct 2018 14:06:10 +0000
Subject: test-suite: cleaning

---
 test-suite/failure/pattern.v | 1 +
 1 file changed, 1 insertion(+)

(limited to 'test-suite/failure/pattern.v')

diff --git a/test-suite/failure/pattern.v b/test-suite/failure/pattern.v
index 216eb254c1..480f579502 100644
--- a/test-suite/failure/pattern.v
+++ b/test-suite/failure/pattern.v
@@ -7,3 +7,4 @@ Variable P : forall m : nat, m = n -> Prop.
 Goal forall p : n = n, P n p.
 intro.
 Fail pattern n, p.
+Abort.
-- 
cgit v1.2.3