X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fprobe%2FmatitaList.ml;h=e00f0c76c359c179ebe13d82711d7f41750bfbde;hb=41f74056c3dba63046899ab25709f92acef627d5;hp=95250b26c13a65888f4af69635227353b7afcd1c;hpb=920c783cf31c2e7d227f0a38f158469680937d61;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