]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/src/ocaml/uwobo_logger.mli
- export level and levelNo with methods
[helm.git] / helm / uwobo / src / ocaml / uwobo_logger.mli
index f98c810e2bc57f4418fb02a93ecb15e3413bfcb5..a250f655d9370bce00a36878a67ed43312212ba9 100644 (file)
@@ -41,6 +41,8 @@ class sysLogger:
   ?level: priority ->
   unit ->
     object
+      method level: priority
+      method levelNo: int
         (** enable logging, by default logging is disabled *)
       method enable: unit
         (** disable logging *)