- we now add the kernel options in the preamble of the URI hierarchy

[helm.git] / helm / software / lambda-delta / basic_rg / brgOutput.ml

diff --git a/helm/software/lambda-delta/basic_rg/brgOutput.ml b/helm/software/lambda-delta/basic_rg/brgOutput.ml
index 70464fde7cbf5cf38ca0910ffcc1d99986d73ff4..e4e7489ca3f3e2d864a399e1cc0f1e7d782ad471 100644 (file)
--- 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