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=b7f3e31b9f87b2cf9fc6ded31f63c350152331b9;hpb=592b7d81b57ec66e0ee007de336e249b07ae0258;p=helm.git

diff --git a/helm/software/components/acic_procedural/proceduralTypes.ml b/helm/software/components/acic_procedural/proceduralTypes.ml
index b7f3e31b9..cb4c11d2e 100644
--- a/helm/software/components/acic_procedural/proceduralTypes.ml
+++ b/helm/software/components/acic_procedural/proceduralTypes.ml
@@ -274,6 +274,7 @@ 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