From 014571c0c83ba9b2f5d6aebcb52971f00ba08e0c Mon Sep 17 00:00:00 2001
From: Doni Pracner <quinnuendo@gmail.com>
Date: Sat, 26 Jul 2014 20:05:07 +0200
Subject: [PATCH 1/1] mjc2wsl added oposite options for Pop/Push and
 inlinePrint

---
 src/mjc2wsl.java | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/mjc2wsl.java b/src/mjc2wsl.java
index 108094b..3d36b10 100644
--- a/src/mjc2wsl.java
+++ b/src/mjc2wsl.java
@@ -861,6 +861,10 @@ public class mjc2wsl{
 					genPopPush = true;
 				} else if (args[i].compareToIgnoreCase("--genInlinePrint") == 0) {
 					genInlinePrint = true;
+				} else if (args[i].compareToIgnoreCase("--genHeadTail") == 0) {
+					genPopPush = false;
+				} else if (args[i].compareToIgnoreCase("--genProcedurePrint") == 0) {
+					genInlinePrint = false;
 				}
 				i++;
 			}
-- 
2.17.1