fixed swapped negation symbols for verifier

SECPS · Mar 15, 2024 · 5bacfc6 · 5bacfc6
1 parent 212e2a9
commit 5bacfc6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/at/jku/cps/travart/core/verify/LogicOperator.java b/src/main/java/at/jku/cps/travart/core/verify/LogicOperator.java
@@ -16,7 +16,7 @@
 package at.jku.cps.travart.core.verify;
 
 public enum LogicOperator {
-	AND("&", "&"), OR("|", "|"), EQUALS("<=>", "<=>"), IMPLIES("=>", "=>"), NOT("~", "!");
+	AND("&", "&"), OR("|", "|"), EQUALS("<=>", "<=>"), IMPLIES("=>", "=>"), NOT("!", "~");
 
 	private String uvl;
 	private String ng;