mjc2wsl, correct 'not equal' symbol for WSL

diff --git a/src/mjc2wsl.java b/src/mjc2wsl.java
index 86177134f1bd3cc9d6656c6afa286bd50c501b45..b807bc8d7be03f539ead619073a336d996f9af3d 100644 (file)
--- a/src/mjc2wsl.java
+++ b/src/mjc2wsl.java
@@ -189,7 +189,7 @@ public class mjc2wsl{
        private String getRelationFor(int opcode) throws Exception {
                        switch (opcode) {
                                        case jeq: return "=";
-                                       case jne: return "#";
+                                       case jne: return "<>";
                                        case jlt: return "<";
                                        case jle: return "<=";
                                        case jgt: return ">";