fixed whelp bar

[helm.git] / helm / matita / matitaTypes.ml

diff --git a/helm/matita/matitaTypes.ml b/helm/matita/matitaTypes.ml
index f5ec78ee00c33c4ee29f94f1038b069d4de442aa..9b100ca718c8f3b4ebf82b1322fa3bfddfb46e5b 100644 (file)
--- 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