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.
smowton · Sep 7, 2017 · 359a3e3 · 359a3e3
1 parent f6d94cf
commit 359a3e3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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