diff --git a/src/main/java/de/tla2bAst/BAstCreator.java b/src/main/java/de/tla2bAst/BAstCreator.java index 52fa504483ec4bb10b5eaeabb5a1de6c3f94f58a..f40c733e5de424a74d3fd0f59578c362124364bb 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); } }