X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnReference.mli;h=75285360836a600b5d00455f0af3ad72b17eb969;hb=d50309307c1dc85341759a020d7052b4a1d025b3;hp=de468c3c10cdb67776fb877bab4b02af15bb4857;hpb=09dc8295b3ec33bfa731189788330ba21b5f1428;p=helm.git

diff --git a/helm/software/components/ng_kernel/nReference.mli b/helm/software/components/ng_kernel/nReference.mli
index de468c3c1..752853608 100644
--- a/helm/software/components/ng_kernel/nReference.mli
+++ b/helm/software/components/ng_kernel/nReference.mli
@@ -28,6 +28,7 @@ val string_of_reference: reference -> string
 
 (* given the reference of an inductive type, returns the i-th contructor *)
 val mk_constructor: int -> reference -> reference
+val mk_fix: int -> int -> reference -> reference
 
 
 (* CACCA *)