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 f0b7a9e..3206269 100644 (file)
--- a/src/edu/berkeley/sbp/chr/CharAtom.java
+++ b/src/edu/berkeley/sbp/chr/CharAtom.java
@@ -1,4 +1,4 @@
-// Copyright 2006 all rights reserved; see LICENSE file for BSD-style license
+// Copyright 2006-2007 all rights reserved; see LICENSE file for BSD-style license
 
 package edu.berkeley.sbp.chr;
 import java.io.*;
@@ -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 =