checkpoint

[sbp.git] / src / edu / berkeley / sbp / misc / CharToStringParser.java

diff --git a/src/edu/berkeley/sbp/misc/CharToStringParser.java b/src/edu/berkeley/sbp/misc/CharToStringParser.java
index 4dae33b..802d689 100644 (file)
--- a/src/edu/berkeley/sbp/misc/CharToStringParser.java
+++ b/src/edu/berkeley/sbp/misc/CharToStringParser.java
@@ -12,6 +12,9 @@ public class CharToStringParser extends Parser<CharToken,String> {
     public Forest<String> parse(InputStream is) throws IOException, ParseFailed {
         return super.parse(new CharToken.Stream(is));
     }
+    public Forest<String> parse(Reader r) throws IOException, ParseFailed {
+        return super.parse(new CharToken.Stream(r));
+    }
     public Forest<String> shiftToken(CharToken ct, Location loc) {
         return Forest.create(loc, ct.result(), null, false, false);
     }