X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2FcicSubstitution.ml;h=5f35c54b9d172bad15052cc423e07237f31cd408;hb=fd372e069bbcaa96dc5b2eef04f341b28850d726;hp=3ff3e4570ed894a2cb6ffd3ef2f793e53e2e4fe8;hpb=46f19eadce5f3a11c0ae26934fd8d1b597906416;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          
 ;;
+