From 1b98d3257988b8878bef5fe637410ea125cfeb44 Mon Sep 17 00:00:00 2001
From: Araq <rumpf_a@web.de>
Date: Sun, 7 Jun 2015 18:15:47 +0200
Subject: [PATCH] no private deprecated symbols

---
 bootstrap.sh      | 0
 lib/pure/pegs.nim | 1 -
 2 files changed, 1 deletion(-)
 mode change 100755 => 100644 bootstrap.sh

diff --git a/bootstrap.sh b/bootstrap.sh
old mode 100755
new mode 100644
diff --git a/lib/pure/pegs.nim b/lib/pure/pegs.nim
index ce837d9d18..e165d7dca1 100644
--- a/lib/pure/pegs.nim
+++ b/lib/pure/pegs.nim
@@ -1060,7 +1060,6 @@ type
     lineStart: int            ## index of last line start in buffer
     colOffset: int            ## column to add
     filename: string
-{.deprecated: [TTokKind: TokKind, TToken: Token, TModifier: Modifier].}
 
 const
   tokKindToStr: array[TokKind, string] = [