From: jjenista <jjenista>
Date: Wed, 18 Feb 2009 19:00:52 +0000 (+0000)
Subject: add escape sequences for single quote and backslash
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=d1a05f4e6c5ced1c50a2c89757129c02bd8d0981;p=IRC.git

add escape sequences for single quote and backslash
---

diff --git a/Robust/src/IR/Flat/FlatLiteralNode.java b/Robust/src/IR/Flat/FlatLiteralNode.java
index 99c1087d..fba83bfb 100644
--- a/Robust/src/IR/Flat/FlatLiteralNode.java
+++ b/Robust/src/IR/Flat/FlatLiteralNode.java
@@ -42,6 +42,10 @@ public class FlatLiteralNode extends FlatNode {
 	new_st+="\\r";
       else if (x=='"')
 	new_st+="\\\"";
+      else if (x=='\'')
+	new_st+="\\\'";
+      else if (x=='\\')
+	new_st+="\\\\";
       else new_st+=x;
     }
     return new_st;