\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
+module F = Filename
module C = Cps
type uri_generator = string -> string
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 := "";