]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/lib/log.mli
- we completed the text parser fixing the syntactic shortcuts
[helm.git] / helm / software / lambda-delta / lib / log.mli
index 956f91fd8a00207e4475b713cd32ca787f3f20b2..9e0f054e18213d06cb9f7ed57d9517cfc1c07eaa 100644 (file)
@@ -26,6 +26,8 @@ val loc: string ref
 
 val level: int ref
 
+val clear: unit -> unit
+
 val warn: string -> unit
 
 val box: int -> unit