X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcic%2FcicInspect.ml;h=7186fb1f1585bc901e0c3cc4a8e4f0f8aadee26b;hb=f9f75ab7c53e17d10c8a8fad42a0fe82a7e28b71;hp=2016ed98c845cfb08af0a6750956f9272aa4461a;hpb=592b7d81b57ec66e0ee007de336e249b07ae0258;p=helm.git

diff --git a/helm/software/components/cic/cicInspect.ml b/helm/software/components/cic/cicInspect.ml
index 2016ed98c..7186fb1f1 100644
--- a/helm/software/components/cic/cicInspect.ml
+++ b/helm/software/components/cic/cicInspect.ml
@@ -134,7 +134,7 @@ let count_nodes ~meta n t =
       | C.Cast (t1, t2) -> aux (aux (offset + n) t2) t1
       | C.Lambda (_, t1, t2)
       | C.Prod (_, t1, t2) -> aux (aux (succ n) t2) t1
-      | C.LetIn (_, t1, ty, t2) -> aux (aux (aux (offset + 1 + n) t2) ty) t1
+      | C.LetIn (_, t1, ty, t2) -> aux (aux (aux (offset + n) t2) ty) t1
       | C.MutCase (_, _, t1, t2, ss) ->
          aux (aux (List.fold_left aux (offset + 1 + n) ss) t2) t1
       | C.Fix (_, ss)                ->