fix mode signature

math-comp · Dec 16, 2024 · 0632c80 · 0632c80
1 parent 612ccc5
commit 0632c80
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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".