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 c66ff5d..f4395b9 100644 (file)
--- a/src/edu/berkeley/sbp/misc/CharToStringParser.java
+++ b/src/edu/berkeley/sbp/misc/CharToStringParser.java
@@ -15,7 +15,10 @@ public class CharToStringParser extends Parser<CharToken,String> {
         return super.parse(new Stream(r));
     }
 
-    public CharToStringParser(Union u) { super(u, new IntegerTopology<CharToken>(null)); }
+    public CharToStringParser(Union u) {
+        super(u, new IntegerTopology<CharToken>(CharToken.c2i));
+        pt.optimize(CharToken.c2i);
+    }
     public Forest<String> shiftToken(CharToken ct, Location loc) {
         return Forest.create(loc, ct.result(), null, false, false);
     }