bugfix in uri's: missing "/" added to baseuri's where necessary

[helm.git] / helm / software / helena / src / common / ccs.mli

diff --git a/helm/software/helena/src/common/ccs.mli b/helm/software/helena/src/common/ccs.mli
index 4d11ddd7c6a6e497d8052bc701bf03a49f487f9f..f263d8a089542eaf121d7e0e0bf31a1bc8649695 100644 (file)
--- a/helm/software/helena/src/common/ccs.mli
+++ b/helm/software/helena/src/common/ccs.mli
@@ -10,10 +10,10 @@
       V_______________________________________________________________ *)
 
 type csys = {
-           uri: Entity.uri;
-   mutable tp : int list;
-   mutable t1 : int list;
-   mutable tn : (int * int) list;
+           buri: Entity.uri;
+   mutable tp  : int list;
+   mutable t1  : int list;
+   mutable tn  : (int * int) list;
 }
 
 val init: unit -> csys