diff --git a/src/Deriving/DepTyCheck/Gen/Core/ConsDerive.idr b/src/Deriving/DepTyCheck/Gen/Core/ConsDerive.idr
index a1703d5a8..0e22727bc 100644
--- a/src/Deriving/DepTyCheck/Gen/Core/ConsDerive.idr
+++ b/src/Deriving/DepTyCheck/Gen/Core/ConsDerive.idr
@@ -191,6 +191,7 @@ namespace NonObligatoryExts
       -- Producing the result --
       --------------------------
 
+      logPoint "consOrders" [sig, con] "count of orders: \{show $ length allOrders}"
       callOneOf "\{logPosition con} (orders)" <$> traverse genForOrder allOrders
 
       where