diff --git a/src/tmltranslator/ctranslator/TMLCCodeGeneration.java b/src/tmltranslator/ctranslator/TMLCCodeGeneration.java index 0c22450c3163ce3d6657e82aeba5971419c5954d..f2503d44b4064577a481eab068cb31af3d23d2bd 100755 --- a/src/tmltranslator/ctranslator/TMLCCodeGeneration.java +++ b/src/tmltranslator/ctranslator/TMLCCodeGeneration.java @@ -190,7 +190,6 @@ public class TMLCCodeGeneration { TraceManager.addDev( "is complex channel" ); } } - System.exit(0); } private void makeSignalsList() { @@ -479,7 +478,6 @@ public class TMLCCodeGeneration { programString += generateNONSDROperation( op, xTask, fTask ); }*/ } - //System.exit(0); } /*private String generateNONSDROperation( Operation op, TMLTask xTask, TMLTask fTask ) {