X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fbasic_rg%2FbrgOutput.ml;h=e4e7489ca3f3e2d864a399e1cc0f1e7d782ad471;hb=e22808c929a9cebf5e4e2b7428ff0cbf89e1f92a;hp=70464fde7cbf5cf38ca0910ffcc1d99986d73ff4;hpb=a22628e5de37d3ffe9de056d7683f2ebdf7226fb;p=helm.git

diff --git a/helm/software/lambda-delta/basic_rg/brgOutput.ml b/helm/software/lambda-delta/basic_rg/brgOutput.ml
index 70464fde7..e4e7489ca 100644
--- a/helm/software/lambda-delta/basic_rg/brgOutput.ml
+++ b/helm/software/lambda-delta/basic_rg/brgOutput.ml
@@ -135,7 +135,7 @@ let rename f e a =
    let rec aux f e n r =
       let f = function
          | true  -> f n r
-	 | false -> aux f e (n ^ "'") r
+	 | false -> aux f e (n ^ "_") r
       in
       does_not_occur f n r e
    in