diff options
author | Matthias Andreas Benkard <matthias@benkard.de> | 2008-06-19 20:33:07 +0200 |
---|---|---|
committer | Matthias Andreas Benkard <matthias@benkard.de> | 2008-06-19 20:33:07 +0200 |
commit | 66ed696a14623f3062f28ede477ec73049e69321 (patch) | |
tree | ee2ad382f0c1b12fb01f0af8c0b35c6a1d17b52f /MLKReader.h | |
parent | d1503a4c0651018d6484a9780722a1969a6f5634 (diff) |
Fix escaped symbol reading.
Diffstat (limited to 'MLKReader.h')
-rw-r--r-- | MLKReader.h | 4 |
1 files changed, 3 insertions, 1 deletions
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 |