X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2FcicSubstitution.ml;fp=helm%2Focaml%2Fcic_proof_checking%2FcicSubstitution.ml;h=5f35c54b9d172bad15052cc423e07237f31cd408;hb=5530db2f72548a8c579ae5f9868cbd38290eb065;hp=3ff3e4570ed894a2cb6ffd3ef2f793e53e2e4fe8;hpb=e2beb1cd1269cc4dd94c184b85193f0fbc935324;p=helm.git

diff --git a/helm/ocaml/cic_proof_checking/cicSubstitution.ml b/helm/ocaml/cic_proof_checking/cicSubstitution.ml
index 3ff3e4570..5f35c54b9 100644
--- a/helm/ocaml/cic_proof_checking/cicSubstitution.ml
+++ b/helm/ocaml/cic_proof_checking/cicSubstitution.ml
@@ -497,3 +497,4 @@ let subst_meta l t =
  in
   aux 0 t          
 ;;
+