- new attributes system

[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 f263d8a089542eaf121d7e0e0bf31a1bc8649695..83061e6e5e1361f6a6b0507a852d6b78db98a0ab 100644 (file)
--- a/helm/software/helena/src/common/ccs.mli
+++ b/helm/software/helena/src/common/ccs.mli
@@ -8,7 +8,7 @@
     \   /  version 2 or (at your option) any later version.              
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
-
+(*
 type csys = {
            buri: Entity.uri;
    mutable tp  : int list;
@@ -23,3 +23,4 @@ val add_nonzero: csys -> Entity.attrs -> unit
 val add_zero: csys -> Entity.attrs -> unit
 
 val add_equal: csys -> Entity.attrs -> Entity.attrs -> unit
+*)