From d97e2a1af087837f6b7c5f29b2bc68646f33be4a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 16 Oct 2009 11:57:14 +0000
Subject: Add pointer

---
 etc/trac/trac-296.v | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/etc/trac/trac-296.v b/etc/trac/trac-296.v
index b4b2770f..ac0e223f 100644
--- a/etc/trac/trac-296.v
+++ b/etc/trac/trac-296.v
@@ -1,2 +1,3 @@
-(* PG accepts this as valid though it isn't *)
+(* PG accepts this as valid though it isn't;
+   see http://proofgeneral.inf.ed.ac.uk/trac/ticket/296 *)
 Check nat.&!&*\:,.:<*&!)@)$.
-- 
cgit v1.2.3