X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fcomplete_rg%2Fcrg.ml;h=fa76c6164ab02c1605eae0282d210d8dab9a5f71;hb=3f6af93003bef461be59c8d4c96009c631f0c2e7;hp=6db1b5481dd95fadf1da9c8a8e038c721f83e119;hpb=da715664068e859d20ab81fd6969e64d58c0f57e;p=helm.git

diff --git a/helm/software/lambda-delta/complete_rg/crg.ml b/helm/software/lambda-delta/complete_rg/crg.ml
index 6db1b5481..fa76c6164 100644
--- a/helm/software/lambda-delta/complete_rg/crg.ml
+++ b/helm/software/lambda-delta/complete_rg/crg.ml
@@ -36,8 +36,9 @@ type entity = term Entity.entity
 
 (* helpers ******************************************************************)
 
-let mk_uri root s =
-   String.concat "/" ["ld:"; "crg"; root; s ^ ".ld"]
+let mk_uri si root s =
+   let kernel = if si then "crg-si" else "crg" in
+   String.concat "/" ["ld:"; kernel; root; s ^ ".ld"]
 
 let empty_lenv = ESort