X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fbasic_rg%2Fbrg.ml;h=efc5d7556914bc6b8976b0ade53be6a751c042ee;hb=85521efd364ec494e4cc024bbf87182a312e1b7b;hp=fd93f397af56bf450ce8ef1452697f004ce7b3e5;hpb=a22628e5de37d3ffe9de056d7683f2ebdf7226fb;p=helm.git

diff --git a/helm/software/lambda-delta/basic_rg/brg.ml b/helm/software/lambda-delta/basic_rg/brg.ml
index fd93f397a..efc5d7556 100644
--- a/helm/software/lambda-delta/basic_rg/brg.ml
+++ b/helm/software/lambda-delta/basic_rg/brg.ml
@@ -35,8 +35,9 @@ type lenv = Null
 
 (* helpers ******************************************************************)
 
-let mk_uri root s =
-   String.concat "/" ["ld:"; "brg"; root; s ^ ".ld"]
+let mk_uri si root s =
+   let kernel = if si then "brg-si" else "brg" in
+   String.concat "/" ["ld:"; kernel; root; s ^ ".ld"]
 
 (* Currified constructors ***************************************************)