Commit 82e2ae00 authored by Jonathan Shahen's avatar Jonathan Shahen

small optimization

parent 9eaf172f
......@@ -58,7 +58,7 @@ public class WriteNuSMV {
private ST strTCodeTemplateV2;
private String strTransTemplateV1;
private String strTransTemplateV2;
// private String strTransTemplateV2;
/**
* Controls the output for this class
......@@ -91,7 +91,7 @@ public class WriteNuSMV {
strTransTemplateV1 = getTemplateStr("transitionsv1.st");
strTCodeTemplateV2 = new ST(getTemplateStr("smvtemplatev2.st"), '<', '>');
strTransTemplateV2 = getTemplateStr("transitionsv2.st");
// strTransTemplateV2 = getTemplateStr("transitionsv2.st");
} catch (IOException e) {
e.printStackTrace();
}
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment