X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fdual_rg%2Fdrg.ml;h=87e973ca84cace3a4f616bde4fdcccd5431fa8ec;hb=51beb717ea0a68ae899e73b09cb67ea90b260b27;hp=b20bdb3d387468fccf6c7436ec34ea3c0cdcb403;hpb=0bcc03be833e8f177850e6b9785713d7975ee8bd;p=helm.git

diff --git a/helm/software/lambda-delta/dual_rg/drg.ml b/helm/software/lambda-delta/dual_rg/drg.ml
index b20bdb3d3..87e973ca8 100644
--- a/helm/software/lambda-delta/dual_rg/drg.ml
+++ b/helm/software/lambda-delta/dual_rg/drg.ml
@@ -37,7 +37,7 @@ type entity = term Entity.entity
 (* helpers ******************************************************************)
 
 let mk_uri root s =
-   String.concat "/" ["ld:"; "drg"; root; s ^ ".ld"]
+   String.concat "/" ["ld:"; "crg"; root; s ^ ".ld"]
 
 let empty_lenv = ESort