Commit 4685e5d9 authored by Alfons Laarman's avatar Alfons Laarman
Browse files

Indent fixes

parent 6c19dc8f
......@@ -101,8 +101,7 @@ public class LTSminGMWalker {
if (opts.no_gm) {
debug.say_indent--;
debug.say("Generating guard dependency matrices done (%s sec)",
report.stopTimer().sec()).say("");
debug.say("Skipping guard dependency matrices").say("");
return;
}
......
......@@ -199,11 +199,11 @@ public class LTSminStateVector extends LTSminSubVectorStruct
lvar = new LTSminVariable(type, var, struct);
} else if (var.getType() instanceof VariableType) {
try {
var.getConstantValue();
debug.say(MessageKind.DEBUG, var.getType().getName() +" "+ name +" --> SKIPPING CONSTANT");
return;
var.getConstantValue();
debug.say(MessageKind.DEBUG, var.getType().getName() +" "+ name +" --> SKIPPING CONSTANT");
return;
} catch (ParseException pe) {
debug.say(MessageKind.DEBUG, var.getType().getName() +" "+ name);
debug.say(MessageKind.DEBUG, var.getType().getName() +" "+ name);
}
lvar = new LTSminVariable(LTSminTypeNative.get(var), var, struct);
} else {
......
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