From ba61cf64e8547393e21cbf751033cba81316900f Mon Sep 17 00:00:00 2001
From: Danny Yoo <dyoo@cs.wpi.edu>
Date: Thu, 16 Jun 2011 11:59:22 -0400
Subject: [PATCH] Fixing the comment-at-end-of-file bug (PR#11982)

original commit: d78fccb75bd29ce5ca5abb090109410a7759ca1e
---
 collects/tests/scribble/reader.rkt | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/collects/tests/scribble/reader.rkt b/collects/tests/scribble/reader.rkt
index 5987b78a..bbc4ac3e 100644
--- a/collects/tests/scribble/reader.rkt
+++ b/collects/tests/scribble/reader.rkt
@@ -416,6 +416,10 @@ fo@o  -@->  fo@o
 -@->
 (foo "bar " "\n" "baz")
 ---
+hello @; comment at eof
+-@->
+hello
+---
 @foo{bar @;{a balanced comment} baz}
 -@->
 (foo "bar  baz")