]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/acic_procedural/proceduralTypes.ml
cicInspect: node count fixed
[helm.git] / helm / software / components / acic_procedural / proceduralTypes.ml
index 9bb2e576c41d71f0c4e3fae06b11f64a8108af09..b7f3e31b9f87b2cf9fc6ded31f63c350152331b9 100644 (file)
@@ -280,7 +280,7 @@ let rec count_step a = function
 
 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 _