checkpoint
[sbp.git] / src / edu / berkeley / sbp / misc / CharToStringParser.java
index bba0234..1153e51 100644 (file)
@@ -16,8 +16,8 @@ public class CharToStringParser extends Parser<Character,String> {
     }
 
     public CharToStringParser(Union u) {
-        super(u, new IntegerTopology<Character>(CharToken.c2i));
-        pt.optimize(CharToken.c2i);
+        super(u, new CharTopology());
+        pt.optimize(new CharTopology());
     }
     public Forest<String> shiftToken(Character ct, Location loc) {
         return Forest.create(loc, ct.toString(), null, false, false);