X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FgTopLevel.ml;h=cbfe18e7360d497fdf2a65cc2fe4e5bde307b8cd;hb=c7eb56246dc1199f098ed6c8c77aa08fea9a62f8;hp=3c37b3ed268b67e2a57d62b00902cd8608b67d95;hpb=5dac9432fa233251332953770319c0b95984e1c5;p=helm.git

diff --git a/helm/gTopLevel/gTopLevel.ml b/helm/gTopLevel/gTopLevel.ml
index 3c37b3ed2..cbfe18e73 100644
--- a/helm/gTopLevel/gTopLevel.ml
+++ b/helm/gTopLevel/gTopLevel.ml
@@ -1466,7 +1466,7 @@ class rendering_window output proofw (label : GMisc.label) =
   GButton.button ~label:"Fourier"
    ~packing:(hbox4#pack ~expand:false ~fill:false ~padding:5) () in
  let rewriteb =
-  GButton.button ~label:"Rewrite"
+  GButton.button ~label:"Rewrite ->"
    ~packing:(hbox4#pack ~expand:false ~fill:false ~padding:5) () in
  let outputhtml =
   GHtml.xmhtml