X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicPp.mli;h=c260e8c61a70c9f1c29f80e9b0f3c6367bb10eea;hb=07fb52e761b192a97c6fe00c657e670b2d1fc2f1;hp=ccac8dff67e78112bf8b5379082dbfb5826bed65;hpb=6abf435197c2bc37fadc0b3bd5925cd9cbe112e2;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCicPp.mli b/helm/software/components/ng_kernel/nCicPp.mli
index ccac8dff6..c260e8c61 100644
--- a/helm/software/components/ng_kernel/nCicPp.mli
+++ b/helm/software/components/ng_kernel/nCicPp.mli
@@ -12,6 +12,7 @@
 (* $Id$ *)
 
 val set_head_beta_reduce: (upto:int -> NCic.term -> NCic.term) -> unit
+val set_get_obj: (NUri.uri -> NCic.obj) -> unit
 
 val r2s: bool -> NReference.reference -> string