From 9c88600ff45781f4df303f4ff1dca2bc13aaeaff Mon Sep 17 00:00:00 2001
From: Nick Battle <nick.battle@gmail.com>
Date: Sat, 9 Dec 2023 11:37:42 +0000
Subject: [PATCH] Added another verbose call

---
 .../src/main/java/quickcheck/commands/QuickCheckCommand.java    | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/quickcheck/src/main/java/quickcheck/commands/QuickCheckCommand.java b/quickcheck/src/main/java/quickcheck/commands/QuickCheckCommand.java
index d9f5911a6..226259109 100644
--- a/quickcheck/src/main/java/quickcheck/commands/QuickCheckCommand.java
+++ b/quickcheck/src/main/java/quickcheck/commands/QuickCheckCommand.java
@@ -26,6 +26,7 @@
 
 import static com.fujitsu.vdmj.plugins.PluginConsole.errorln;
 import static com.fujitsu.vdmj.plugins.PluginConsole.println;
+import static quickcheck.commands.QCConsole.verbose;
 
 import java.util.Arrays;
 import java.util.List;
@@ -189,6 +190,7 @@ public String run(String line)
 		{
 			for (ProofObligation po: chosen)
 			{
+				verbose("Processing PO #%s\n", po.number);
 				StrategyResults results = qc.getValues(po);
 				
 				if (!qc.hasErrors())