From 122789c72a8b2a13535254a24823ab1b63f1e804 Mon Sep 17 00:00:00 2001
From: Martin Berg Alstad <600878@stud.hvl.no>
Date: Sat, 15 Apr 2023 23:25:17 +0200
Subject: [PATCH] Updated : to |

---
 src/utils/expressionUtils.ts | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/utils/expressionUtils.ts b/src/utils/expressionUtils.ts
index bad1c5b..cc688aa 100644
--- a/src/utils/expressionUtils.ts
+++ b/src/utils/expressionUtils.ts
@@ -5,9 +5,9 @@
  */
 export function replaceOperators(expression: string): string {
 
-    expression = expression.replaceAll(/[|/]/g, ":");
+    expression = expression.replaceAll(/\//g, "|");
     expression = expression.replaceAll(/¬/g, "!");
-    expression = expression.replaceAll(/\sOR\s/gi, " : ");
+    expression = expression.replaceAll(/\sOR\s/gi, " | ");
     expression = expression.replaceAll(/\sAND\s/gi, " & ");
     expression = expression.replaceAll(/\s(IMPLICATION|IMP)\s/gi, " -> ");
     expression = expression.replaceAll(/\sNOT\s/gi, " !");