From d1a05f4e6c5ced1c50a2c89757129c02bd8d0981 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Wed, 18 Feb 2009 19:00:52 +0000
Subject: [PATCH] add escape sequences for single quote and backslash

---
 Robust/src/IR/Flat/FlatLiteralNode.java | 4 ++++
 1 file changed, 4 insertions(+)

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;
-- 
2.34.1