From 38eb7751e46092fedde6e25eb531c855635b1cfa Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Wed, 13 Dec 2006 20:23:19 +0000
Subject: [PATCH] * TODO: Add pointer to Sylvain Schmitz's work on static
 detection of potential ambiguities in GLR grammers.

---
 ChangeLog | 5 +++++
 TODO      | 3 +++
 2 files changed, 8 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index f8505423..4cf3d188 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2006-12-13  Paul Eggert  <eggert@cs.ucla.edu>
+
+	* TODO: Add pointer to Sylvain Schmitz's work on static detection
+	of potential ambiguities in GLR grammers.
+
 2006-12-12  Joel E. Denny  <jdenny@ces.clemson.edu>
 
 	* tests/testsuite.at (AT_CHECK): When checking if $1 starts with
diff --git a/TODO b/TODO
index ca610cc0..7d6f20ea 100644
--- a/TODO
+++ b/TODO
@@ -56,6 +56,9 @@ Provide better assistance for understanding the conflicts by providing
 a sample text exhibiting the (LALR) ambiguity.  See the paper from
 DeRemer and Penello: they already provide the algorithm.
 
+** Statically check for potential ambiguities in GLR grammars.  See
+<http://www.i3s.unice.fr/~schmitz/papers.html#expamb> for an approach.
+
 
 * Extensions
 
-- 
2.50.0