From ca332a68fa810de4bc1d8abc16020fdb3027333f Mon Sep 17 00:00:00 2001
From: Jesse Jones <jesse9jones@gmail.com>
Date: Sun, 18 Nov 2012 18:28:05 -0800
Subject: [PATCH] Added optional pub to use_decl EBNF.

---
 doc/rust.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/rust.md b/doc/rust.md
index e9cb59f05b17..2a99acdef41a 100644
--- a/doc/rust.md
+++ b/doc/rust.md
@@ -798,7 +798,7 @@ extern mod ruststd (name = "std"); // linking to 'std' under another name
 ##### Use declarations
 
 ~~~~~~~~ {.ebnf .gram}
-use_decl : "use" ident [ '=' path
+use_decl : "pub"? "use" ident [ '=' path
                           | "::" path_glob ] ;
 
 path_glob : ident [ "::" path_glob ] ?