- probe: now includes source character count (was: mac)

[helm.git] / matita / components / binaries / probe / engine.mli

diff --git a/matita/components/binaries/probe/engine.mli b/matita/components/binaries/probe/engine.mli
index 808315971f44fa712e554a1e4ba84fa020926dfd..df8a69ff30ca6651f0c573796b23c3613f2fcddc 100644 (file)
--- a/matita/components/binaries/probe/engine.mli
+++ b/matita/components/binaries/probe/engine.mli
@@ -15,6 +15,8 @@ val out_length: NUri.UriSet.t -> unit
 
 val out_uris: NUri.UriSet.t -> unit
 
+val mac: string -> unit
+
 val is_registry: string -> bool
 
 val get_uri: string -> string * string