- bug fixed: some liftings were missing in the implementation of rewrite

[helm.git] / helm / gTopLevel / gTopLevel.ml

diff --git a/helm/gTopLevel/gTopLevel.ml b/helm/gTopLevel/gTopLevel.ml
index 3c37b3ed268b67e2a57d62b00902cd8608b67d95..cbfe18e7360d497fdf2a65cc2fe4e5bde307b8cd 100644 (file)
--- 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