From 9c4433c8def3db27527757fdb5d318eb14f97ce1 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Tue, 19 Jul 2016 17:54:15 +0200
Subject: Fix Errors.out missing a dot...

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

diff --git a/test-suite/output/Errors.out b/test-suite/output/Errors.out
index 8048deb0c0..df8c3e6507 100644
--- a/test-suite/output/Errors.out
+++ b/test-suite/output/Errors.out
@@ -6,4 +6,4 @@ The command has indeed failed with message:
 In nested Ltac calls to "f" and "apply x", last call failed.
 Unable to unify "nat" with "True".
 The command has indeed failed with message:
-Error: Instance is not well-typed in the environment of ?x
+Error: Instance is not well-typed in the environment of ?x.
-- 
cgit v1.2.3