From cd9a2e9e59d87801790859ddd26d225d71be7f7c Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 11 Oct 2015 17:26:30 +0200
Subject: Fixing test-suite

---
 test-suite/output/ltac.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test-suite/output/ltac.v b/test-suite/output/ltac.v
index 9a60afe5f6..7e2610c7d7 100644
--- a/test-suite/output/ltac.v
+++ b/test-suite/output/ltac.v
@@ -12,6 +12,6 @@ Goal True.
 assert (H:= eq_refl ((fun x => x) 1)).
 let HT := type of H in
 lazymatch goal with
-| H1 : HT |- _ => idtac "matched"
+| H1 : HT |- _ => idtac
 end.
 Abort.
-- 
cgit v1.2.3