Fix build: wrap logged enums with fmt::underlying

plugins/module_identification/src/api/module_identification.cpp

@@ -406,7 +406,7 @@ namespace hal
 
                 const u32 num_threads = std::min(config.m_max_thread_count, std::thread::hardware_concurrency() - 1);
 
-                log_info("module_identification", "running with {} threads and {} multithreading priority", num_threads, config.m_multithreading_priority);
+                log_info("module_identification", "running with {} threads and {} multithreading priority", num_threads, fmt::underlying(config.m_multithreading_priority));
 
                 auto stats = Statistics();
 
@@ -561,4 +561,4 @@ namespace hal
             return execute_on_structural_candidates(base_to_structural_candidates, config);
         }
     }    // namespace module_identification
-}    // namespace hal
+}    // namespace hal

plugins/z3_utils/src/simplification.cpp

@@ -617,7 +617,7 @@ namespace hal
                     return false;
 
                 default: {
-                    log_error("z3_utils", "commutative check not implemeted for type {}!", t);
+                    log_error("z3_utils", "commutative check not implemeted for type {}!", fmt::underlying(t));
                     return false;
                 }
             }