X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fcomponents%2Fbinaries%2Fprobe%2FmatitaList.ml;fp=matita%2Fcomponents%2Fbinaries%2Fprobe%2FmatitaList.ml;h=e00f0c76c359c179ebe13d82711d7f41750bfbde;hb=ef225b816c82d4fad37993f963804e51152f4dac;hp=95250b26c13a65888f4af69635227353b7afcd1c;hpb=b161347767b1cb67c4f5b115e4414b85ac4b2183;p=helm.git

diff --git a/matita/components/binaries/probe/matitaList.ml b/matita/components/binaries/probe/matitaList.ml
index 95250b26c..e00f0c76c 100644
--- a/matita/components/binaries/probe/matitaList.ml
+++ b/matita/components/binaries/probe/matitaList.ml
@@ -11,7 +11,6 @@
 
 module A = Array
 module F = Filename
-module P = Printf
 module S = String
 module Y = Sys