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 99c1087d2295800214aaea9b380210f1b5a763c3..fba83bfb14ef7caa60087a1b03370f1274de19b2 100644 (file)
--- 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;