From 305c70d55f8305e8cca8daf8796ff27a142332fe Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 12 Aug 2014 10:49:07 +0200
Subject: In bug #2406, renouncing to test failure of parsing error. (AFAIU, it
 is the table of supported unicode characters which has to be upgraded
 anyway.)

---
 test-suite/bugs/closed/2406.v | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/test-suite/bugs/closed/2406.v b/test-suite/bugs/closed/2406.v
index d46fbabbbc..1bd66ffccb 100644
--- a/test-suite/bugs/closed/2406.v
+++ b/test-suite/bugs/closed/2406.v
@@ -1,3 +1,6 @@
 (* Check correct handling of unsupported notations *)
 Notation "'’'" := (fun x => x) (at level 20).
+
+(* This fails with a syntax error but it is not catched by Fail
 Fail Definition crash_the_rooster f := ’.
+*)
-- 
cgit v1.2.3