From 3b4647de5983411fe8cf714031a149f0cde6565f Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Fri, 25 Oct 2024 18:08:27 +0200 Subject: [PATCH] Fix some indents --- src/main/java/de/tla2bAst/BAstCreator.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/main/java/de/tla2bAst/BAstCreator.java b/src/main/java/de/tla2bAst/BAstCreator.java index 52fa504..f40c733 100644 --- a/src/main/java/de/tla2bAst/BAstCreator.java +++ b/src/main/java/de/tla2bAst/BAstCreator.java @@ -182,17 +182,17 @@ public class BAstCreator extends BuiltInOPs OpDefNode def = moduleNode.getOpDefs()[i]; if (specAnalyser.getBDefinitions().contains(def)) { if (conEval != null && conEval.getConstantOverrideTable().containsValue(def)) { - DebugUtils.printVeryVerboseMsg("Not creating B DEFINITION (in Override Table) " + def.getName() + " " + def); + DebugUtils.printVeryVerboseMsg("Not creating B DEFINITION (in Override Table) " + def.getName() + " " + def); continue; } if (def.getOriginallyDefinedInModuleNode().getName().toString().equals("MC")) { continue; } - //debugUtils.printVeryVerboseMsg("Creating B DEFINITION " + def.getName() + " " + def); + //debugUtils.printVeryVerboseMsg("Creating B DEFINITION " + def.getName() + " " + def); bDefs.add(def); } else { - DebugUtils.printVeryVerboseMsg("Not creating unused B DEFINITION for " + def.getName() + " " + def); + DebugUtils.printVeryVerboseMsg("Not creating unused B DEFINITION for " + def.getName() + " " + def); } } -- GitLab