better support for \\t

[sbp.git] / src / edu / berkeley / sbp / chr / CharAtom.java

diff --git a/src/edu/berkeley/sbp/chr/CharAtom.java b/src/edu/berkeley/sbp/chr/CharAtom.java
index 7774283..3206269 100644 (file)
--- 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 =