update in basic_2 + new tool "roles"

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

diff --git a/matita/components/binaries/probe/engine.ml b/matita/components/binaries/probe/engine.ml
index bd452674e6732069f00941dffde3d76311eb96ae..8a8a74ac545b644aedb95915d0271b222d764150 100644 (file)
--- 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 =