Fix profile event output escaping

souffle-lang · Oct 22, 2020 · 88cf00c · 88cf00c
1 parent c38951f
commit 88cf00c
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/src/include/souffle/profile/EventProcessor.h b/src/include/souffle/profile/EventProcessor.h
@@ -103,11 +103,10 @@ class EventProcessorSingleton {
                 break;
             }
             ++start_pos;
-            if (str[start_pos] == 't' || str[start_pos] == '"' || str[start_pos] == '\\' ||
-                    str[start_pos] == 'n' || str[start_pos] == ';') {
-                continue;
+            if (str[start_pos] != 't' && str[start_pos] != '"' && str[start_pos] != '\\' &&
+                    str[start_pos] != 'n' && str[start_pos] != ';') {
+                str.replace(start_pos - 1, 1, "\\\\");
             }
-            str.replace(start_pos - 1, 1, "\\\\");
             ++start_pos;
         }
         return str;