X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fprobe%2Fengine.mli;h=df8a69ff30ca6651f0c573796b23c3613f2fcddc;hb=d71e53021b0c17e1a00c2d623e7139c6d18069d5;hp=808315971f44fa712e554a1e4ba84fa020926dfd;hpb=243d091f23f8338e155cdde14969a6043b8c89af;p=helm.git

diff --git a/matita/components/binaries/probe/engine.mli b/matita/components/binaries/probe/engine.mli
index 808315971..df8a69ff3 100644
--- 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