typo

LPCIC · Mar 4, 2025 · 10ebb1f · 10ebb1f
1 parent 5b0cea5
commit 10ebb1f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/elpi/coq-lib.elpi b/elpi/coq-lib.elpi
@@ -510,7 +510,7 @@ coq.term->gref (global GR) GR :- !.
 coq.term->gref (pglobal GR _) GR :- !.
 coq.term->gref (app [Hd|_]) GR :- !, coq.term->gref Hd GR.
 coq.term->gref (let _ _ T x\x) GR :- !, coq.term->gref T GR.
-coq.term->gref (primitive (proj Proj _)) GR :- !, primitive-projection? Proj GR.
+coq.term->gref (primitive (proj Proj _)) (const C) :- coq.env.primitive-projection? Proj C, !.
 :name "term->gref:fail"
 coq.term->gref Term _ :-
   fatal-error-w-data "term->gref: input has no global reference" Term.