X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_procedural%2FproceduralTypes.ml;h=cb4c11d2ee6f87b10d671297b936f903a4da36a4;hb=d072c3ea699cf33189d18d8431fda9750fc2eb93;hp=9bb2e576c41d71f0c4e3fae06b11f64a8108af09;hpb=89519c7b52e06304a94019dd528925300380cdc0;p=helm.git

diff --git a/helm/software/components/acic_procedural/proceduralTypes.ml b/helm/software/components/acic_procedural/proceduralTypes.ml
index 9bb2e576c..cb4c11d2e 100644
--- a/helm/software/components/acic_procedural/proceduralTypes.ml
+++ b/helm/software/components/acic_procedural/proceduralTypes.ml
@@ -274,13 +274,14 @@ let render_steps a = render_steps mk_dot a
 let rec count_step a = function
    | Note _
    | Statement _  
+   | Id _
    | Qed _           -> a
    | Branch (pps, _) -> List.fold_left count_steps a pps
    | _               -> succ a   
 
 and count_steps a = List.fold_left count_step a
 
-let count = I.count_nodes ~implicit:false
+let count = I.count_nodes ~meta:false
 
 let rec count_node a = function
    | Note _