milestone update in ground

[helm.git] / matita / matita / contribs / lambdadelta / bin / recomm / recomm.ml

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/recomm.ml b/matita/matita/contribs/lambdadelta/bin/recomm/recomm.ml
index 87caeb10b960a18857265629d23863866106b30b..f950a0d84dda1e7cda053308554e73abde5a94de 100644 (file)
--- 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     -> ()