X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcontent_pres%2FcicClassify.ml;h=0c464c7d94d4c8d7500aca63028a2fa4c228934f;hb=3ce05ecd50428a27ce17adb070620aeeaf2aed65;hp=155ab98f3fefe7dd936a8f803fe571efccb23984;hpb=5f00ef380aafdaae93a40a3a47491d43ec9c3a62;p=helm.git

diff --git a/helm/software/components/content_pres/cicClassify.ml b/helm/software/components/content_pres/cicClassify.ml
index 155ab98f3..0c464c7d9 100644
--- a/helm/software/components/content_pres/cicClassify.ml
+++ b/helm/software/components/content_pres/cicClassify.ml
@@ -135,7 +135,7 @@ let classify t =
    in
    let map i (direct, _) = mk_inverse i direct in
    Array.iteri map b;
-   out_table b;
+(*   out_table b; *)
    List.rev_map snd (List.tl (Array.to_list b)), rc
 
 let aclassify t = classify (D.deannotate_term t)