From 66ed696a14623f3062f28ede477ec73049e69321 Mon Sep 17 00:00:00 2001
From: Matthias Andreas Benkard <matthias@benkard.de>
Date: Thu, 19 Jun 2008 20:33:07 +0200
Subject: Fix escaped symbol reading.

---
 MLKReader.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'MLKReader.h')

diff --git a/MLKReader.h b/MLKReader.h
index ec30c40..9a49ef9 100644
--- a/MLKReader.h
+++ b/MLKReader.h
@@ -30,7 +30,9 @@
 
 +(id) readFromString:(NSString *)string;
 
-+(id) interpretToken:(NSString *)token readtable:(MLKReadtable *)table;
++(id) interpretToken:(NSString *)token
+           readtable:(MLKReadtable *)readtable
+             escaped:(BOOL)escaped;
 
 +(BOOL) isPotentialNumber:(NSString *)token
                 readtable:(MLKReadtable *)table
-- 
cgit v1.2.3