X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicTypeChecker.mli;h=c333430b91c02db578deaa9a959bbf06ae7fac76;hb=2f9546a7604d7e370f2eef038302c3cccdadf223;hp=51aa6458d11845d67f75dcccadf77ff65211483a;hpb=613bc202d0810f4386b393bfb369c62dfc78c68c;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCicTypeChecker.mli b/helm/software/components/ng_kernel/nCicTypeChecker.mli
index 51aa6458d..c333430b9 100644
--- a/helm/software/components/ng_kernel/nCicTypeChecker.mli
+++ b/helm/software/components/ng_kernel/nCicTypeChecker.mli
@@ -34,3 +34,6 @@ val typeof:
   NCic.context -> NCic.term -> 
     NCic.term
 
+val set_logger: 
+  ([ `Start_type_checking of NUri.uri 
+   | `Type_checking_completed of NUri.uri ] -> unit) -> unit