new xml exportation procedure for basic_rg (10 times faster than previous). the stati...

[helm.git] / helm / software / lambda-delta / dual_rg / drg.ml

diff --git a/helm/software/lambda-delta/dual_rg/drg.ml b/helm/software/lambda-delta/dual_rg/drg.ml
index b20bdb3d387468fccf6c7436ec34ea3c0cdcb403..87e973ca84cace3a4f616bde4fdcccd5431fa8ec 100644 (file)
--- 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