attributes now in the proof status: commit 4

[helm.git] / helm / software / components / content_pres / cicClassify.ml

diff --git a/helm/software/components/content_pres/cicClassify.ml b/helm/software/components/content_pres/cicClassify.ml
index 155ab98f3fefe7dd936a8f803fe571efccb23984..0c464c7d94d4c8d7500aca63028a2fa4c228934f 100644 (file)
--- 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)