From 359a3e32bfc43fc078311efdb3cdcb68b89c805d Mon Sep 17 00:00:00 2001 From: thk123 Date: Thu, 7 Sep 2017 14:11:27 +0100 Subject: [PATCH] Modified verbosity for loaded message This indicates nothing particuarly exciting and when loading the models library brings in a lot of noise to the output. --- src/java_bytecode/java_class_loader.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/java_bytecode/java_class_loader.cpp b/src/java_bytecode/java_class_loader.cpp index e627c9e1f8b..bb945ddcc10 100644 --- a/src/java_bytecode/java_class_loader.cpp +++ b/src/java_bytecode/java_class_loader.cpp @@ -207,7 +207,7 @@ void java_class_loadert::read_jar_file( // does it end on .class? if(has_suffix(file_name, ".class")) { - status() << "read class file " << file_name << " from " << file << eom; + debug() << "read class file " << file_name << " from " << file << eom; irep_idt class_name=file_to_class_name(file_name); // record