X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Frecomm%2Frecomm.ml;h=f950a0d84dda1e7cda053308554e73abde5a94de;hb=55c768d7e45babb300b5010463ba3196a68f1bbe;hp=87caeb10b960a18857265629d23863866106b30b;hpb=15212e44902f25536f6e2de4bec4cedcd9a9804d;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/recomm.ml b/matita/matita/contribs/lambdadelta/bin/recomm/recomm.ml
index 87caeb10b..f950a0d84 100644
--- a/matita/matita/contribs/lambdadelta/bin/recomm/recomm.ml
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/recomm.ml
@@ -19,7 +19,7 @@ let chdir path =
   Sys.chdir path
 
 let start_substs () =
-  subst := Some (open_out "subst.txt")
+  subst := Some (open_out "subst_cn.txt")
 
 let write_substs lint = function
   | None     -> ()