X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicTypeChecker.ml;h=30bde93171e9a6e999a4d6ce87edc8dec5e4e0f2;hb=c3f967910eca5648fd69886166c66ddd49d92b54;hp=ca943a828fd421a6cc630716cf9f786c41bb6555;hpb=a3ba13b9503a2c0dd89b89b489899362d17b3f3a;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCicTypeChecker.ml b/helm/software/components/ng_kernel/nCicTypeChecker.ml
index ca943a828..30bde9317 100644
--- a/helm/software/components/ng_kernel/nCicTypeChecker.ml
+++ b/helm/software/components/ng_kernel/nCicTypeChecker.ml
@@ -3,4 +3,4 @@ exception TypeCheckerFailure of string Lazy.t
 exception AssertFailure of string Lazy.t
 
 (* typechecks the object, raising an exception if illtyped *)
-let typecheck_obj obj = ()
+let typecheck_obj obj = match obj with _ -> ()