From 2812f8323e46e22ccde1606c71d908059b732e44 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 3 Nov 2020 14:28:35 +0100
Subject: Fix test-suite in async mode.

(By closing unfinished proofs.)
---
 test-suite/output/ErrorLocation_13241_1.v | 1 +
 test-suite/output/ErrorLocation_13241_2.v | 1 +
 2 files changed, 2 insertions(+)

diff --git a/test-suite/output/ErrorLocation_13241_1.v b/test-suite/output/ErrorLocation_13241_1.v
index ff92085133..3102b13fb8 100644
--- a/test-suite/output/ErrorLocation_13241_1.v
+++ b/test-suite/output/ErrorLocation_13241_1.v
@@ -2,3 +2,4 @@ Ltac a := intro.
 Ltac b := a.
 Goal True.
 b.
+Abort.
diff --git a/test-suite/output/ErrorLocation_13241_2.v b/test-suite/output/ErrorLocation_13241_2.v
index 280d4a3506..b82f36ed6f 100644
--- a/test-suite/output/ErrorLocation_13241_2.v
+++ b/test-suite/output/ErrorLocation_13241_2.v
@@ -2,3 +2,4 @@ Ltac a _ := intro.
 Ltac b := a ().
 Goal True.
 b.
+Abort.
-- 
cgit v1.2.3