Fix for #3501: Decrease log level of duplicate sort warnings (#3505)

KeYProject · Aug 22, 2024 · 8077951 · 8077951
2 parents e325ebe + cca371a
commit 8077951
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/key.core/src/main/java/de/uka/ilkd/key/nparser/builder/DeclarationBuilder.java b/key.core/src/main/java/de/uka/ilkd/key/nparser/builder/DeclarationBuilder.java
@@ -183,7 +183,7 @@ public Object visitOne_sort_decl(KeYParser.One_sort_declContext ctx) {
                 // weigl: agreement on KaKeY meeting: this should be ignored until we finally have
                 // local namespaces for generic sorts
                 // addWarning(ctx, "Sort declaration is ignored, due to collision.");
-                LOGGER.info("Sort declaration of {} in {} is ignored due to collision (already "
+                LOGGER.debug("Sort declaration of {} in {} is ignored due to collision (already "
                     + "present in {}).", sortName, BuilderHelpers.getPosition(ctx),
                     existingSort.getOrigin());
             }