[ fix ] Correct use of recently changed logPosition of a constructor

buzden · Sep 14, 2023 · 53541d0 · 53541d0
1 parent 7621a24
commit 53541d0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Deriving/DepTyCheck/Gen/Core/ConsDerive.idr b/src/Deriving/DepTyCheck/Gen/Core/ConsDerive.idr
@@ -191,7 +191,7 @@ namespace NonObligatoryExts
       -- Producing the result --
       --------------------------
 
-      callOneOf "\{logPosition con} (orders)" <$> traverse genForOrder allOrders
+      callOneOf "\{show con.name} (orders)" <$> traverse genForOrder allOrders
 
       where