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

[helm.git] / helm / software / lambda-delta / complete_rg / crg.ml

diff --git a/helm/software/lambda-delta/complete_rg/crg.ml b/helm/software/lambda-delta/complete_rg/crg.ml
index 6db1b5481dd95fadf1da9c8a8e038c721f83e119..fa76c6164ab02c1605eae0282d210d8dab9a5f71 100644 (file)
--- 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