diff --git a/mythril/laser/ethereum/plugins/implementations/summary/core.py b/mythril/laser/ethereum/plugins/implementations/summary/core.py
index ad180add..8fcf4e09 100644
--- a/mythril/laser/ethereum/plugins/implementations/summary/core.py
+++ b/mythril/laser/ethereum/plugins/implementations/summary/core.py
@@ -67,7 +67,7 @@ class SymbolicSummaryPlugin(LaserPlugin):
         @symbolic_vm.laser_hook("stop_sym_exec")
         def stop_sym_exec_hook():
             # Print results
-            log.info("Generated 0 summaries")
+            log.info(f"Generated {len(self.summaries)} summaries")
 
         @symbolic_vm.laser_hook("execute_state")
         def execute_start_sym_trans_hook(global_state: GlobalState):