X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaTypes.ml;h=9b100ca718c8f3b4ebf82b1322fa3bfddfb46e5b;hb=aac382f935bc72578119fa7ff9f53c3b649dd0dd;hp=f5ec78ee00c33c4ee29f94f1038b069d4de442aa;hpb=bc36fe01d5465d07ef76c445c83639e341f3eb2a;p=helm.git

diff --git a/helm/matita/matitaTypes.ml b/helm/matita/matitaTypes.ml
index f5ec78ee0..9b100ca71 100644
--- a/helm/matita/matitaTypes.ml
+++ b/helm/matita/matitaTypes.ml
@@ -167,7 +167,7 @@ let string_of_entry = function
   | `Check _ -> "check:"
   | `Cic (_, _) -> "term:"
   | `Dir uri | `Uri uri -> uri
-  | `Whelp (query, _) -> sprintf "whelp:%s" query
+  | `Whelp (query, _) -> query
 
 class type mathViewer =
   object