From 8bb607fd38a590c89a42c2aa69ed916a8cbaf4d9 Mon Sep 17 00:00:00 2001
From: Doni Pracner <quinnuendo@gmail.com>
Date: Tue, 26 Nov 2013 21:00:39 +0100
Subject: [PATCH 1/1] mjc2wsl, correct 'not equal' symbol for WSL

---
 src/mjc2wsl.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mjc2wsl.java b/src/mjc2wsl.java
index 8617713..b807bc8 100644
--- 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 ">";
-- 
2.17.1