From 8ac929ea128f1f7353b3f4d532b642e769542e55 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 17 Feb 2013 14:56:04 +0000
Subject: Added propagation of evars unification failure reasons for better
 error messages. The architecture of unification error handling changed, not
 helped by ocaml for checking that every exceptions is correctly caught.
 Report or fix if you find a regression.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16205 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 test-suite/output/names.out | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test-suite')

diff --git a/test-suite/output/names.out b/test-suite/output/names.out
index 90ad4ba090..1f13619cbf 100644
--- a/test-suite/output/names.out
+++ b/test-suite/output/names.out
@@ -2,4 +2,4 @@ The command has indeed failed with message:
 => Error: In environment
    y : nat
    The term "a y" has type "{y0 : nat | y = y0}"
-    while it is expected to have type "{x : nat | x = y}".
+   while it is expected to have type "{x : nat | x = y}".
-- 
cgit v1.2.3