From 0632c80a58ca38670443a8e68da0ff7ea2ea6584 Mon Sep 17 00:00:00 2001
From: Davide Fissore <fisso9900@gmail.com>
Date: Mon, 16 Dec 2024 17:16:02 +0100
Subject: [PATCH] fix mode signature

---
 HB/common/stdpp.elpi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/HB/common/stdpp.elpi b/HB/common/stdpp.elpi
index a094435f..9264603d 100644
--- a/HB/common/stdpp.elpi
+++ b/HB/common/stdpp.elpi
@@ -290,7 +290,7 @@ term->cs-pattern T _ :- coq.error T "HB database: is not a valid canonical key".
 
 
 % this one is in utils, maybe cs-pattern->name is not stdpp material
-type gref->modname-label gref -> int -> string -> string -> prop.
+pred gref->modname-label i:gref, i:int, i:string, o:string.
 
 pred cs-pattern->name i:cs-pattern, o:string.
 cs-pattern->name cs-prod "prod".