X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2Fchr%2FCharAtom.java;h=3206269180193dafcb3bfdb317d23d7487a3b185;hp=7774283007d5eeecb920113b263ea73c8d4f506e;hb=14b3d2ee6a2d2ef84628e541ec291961f2061a5a;hpb=a52082e6bfc788b85ab34daa7802789d532c83ee;ds=sidebyside

diff --git a/src/edu/berkeley/sbp/chr/CharAtom.java b/src/edu/berkeley/sbp/chr/CharAtom.java
index 7774283..3206269 100644
--- a/src/edu/berkeley/sbp/chr/CharAtom.java
+++ b/src/edu/berkeley/sbp/chr/CharAtom.java
@@ -34,7 +34,7 @@ public class CharAtom extends Atom<Character> {
     public static Element string(String s) { return string(s, true); }
     public static Element string(String s, boolean share) {
         if (share && s.length() == 0) return emptyString;
-        final String escapified = "\""+StringUtil.escapify(s, "\"\r\n\\")+"\"";
+        final String escapified = "\""+StringUtil.escapify(s, "\"\r\t\n\\")+"\"";
         Element ret;
         if (share && s.length() == 1) {
             ret =