X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fprobe%2Fengine.ml;h=8a8a74ac545b644aedb95915d0271b222d764150;hb=a1ae862976f2489107dd107937f5e05d0aaa7144;hp=bd452674e6732069f00941dffde3d76311eb96ae;hpb=076439def28e649ec384fae038ed021dadd5f75c;p=helm.git

diff --git a/matita/components/binaries/probe/engine.ml b/matita/components/binaries/probe/engine.ml
index bd452674e..8a8a74ac5 100644
--- a/matita/components/binaries/probe/engine.ml
+++ b/matita/components/binaries/probe/engine.ml
@@ -34,7 +34,7 @@ let out_int i = P.printf "%u\n" i
 let out_length uris = out_int (US.cardinal uris)
 
 let out_uris uris =
-   let map uri = P.printf "%s\n" (U.string_of_uri uri) in
+   let map uri = P.printf "%S\n" (U.string_of_uri uri) in
    US.iter map uris
 
 let is_registry str =