X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fcommon%2Foptions.ml;h=a2c749872e525f612b610152089373d35df123e2;hb=e8ed2cbff6d25964309a3d3e63568feecb70a666;hp=c133bed7c1ece2954816935b5c2bf63ae485ee51;hpb=95872555aaa040a22ad2d93cb1278f79e20da70c;p=helm.git

diff --git a/helm/software/helena/src/common/options.ml b/helm/software/helena/src/common/options.ml
index c133bed7c..a2c749872 100644
--- a/helm/software/helena/src/common/options.ml
+++ b/helm/software/helena/src/common/options.ml
@@ -9,6 +9,7 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
+module F = Filename
 module C = Cps
 
 type uri_generator = string -> string
@@ -45,15 +46,15 @@ let kernel_id () =
       | Brg -> "brg"
       | Bag -> "bag"
    in
-   let si = if !si then "-si" else "" in
+   let si = if !si then "_si" else "" in
    id ^ si
 
 let get_baseuri () =
-   String.concat "/" ["ld:"; kernel_id (); !cover ]
+   String.concat "/" ["ld:"; kernel_id (); !cover; "" ]
 
 let get_mk_uri () =
    let bu = get_baseuri () in
-   fun s -> bu ^ "/" ^ s ^ ".ld"
+   fun s -> F.concat bu (s ^ ".ld")
 
 let clear () =
    xdir := ""; kernel := Brg; si := false; cover := "";