X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicTypeChecker.mli;h=07781350c653ada82b26efd3399000d19c8bca9d;hb=a89360d64f1fcbba917ad743b97a2d973ecf6db2;hp=b13edc5408e5518e615ba8ddd80d9e15bf542c38;hpb=32522cf70b6bc38f0c3cc5d25b9bd1a93f05862f;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCicTypeChecker.mli b/helm/software/components/ng_kernel/nCicTypeChecker.mli
index b13edc540..07781350c 100644
--- a/helm/software/components/ng_kernel/nCicTypeChecker.mli
+++ b/helm/software/components/ng_kernel/nCicTypeChecker.mli
@@ -9,6 +9,8 @@
      \ /   This software is distributed as is, NO WARRANTY.     
       V_______________________________________________________________ *)
 
+(* $Id$ *)
+
 (* These are the only exceptions that will be raised *)
 exception TypeCheckerFailure of string Lazy.t
 exception AssertFailure of string Lazy.t