]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/src/ocaml/uwobo_engine.mli
snapshot Fri, 29 Nov 2002 12:38:23 +0100 zack
[helm.git] / helm / uwobo / src / ocaml / uwobo_engine.mli
index 378375fa6abd3ad2739c0d2a80fe68525afd2be2..bf18e63083119fe828fb73f0a04a267bd75844d9 100644 (file)
@@ -34,7 +34,7 @@
     @param channel on which write final output
   *)
 val apply:
-  logger: Uwobo_logger.processingLogger ->
+  logger: Uwobo_logger.sysLogger ->
   styles: Uwobo_styles.styles ->
   keys: string list ->
   params: (string -> (string * string) list) ->