X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FtermViewer.mli;h=71ab63bc0e0ca9c861bc84d16b037115957fafb5;hb=ac7687ce66526f905874ed99a845223c853c558a;hp=8fa37e53193f2e19ed4f56cf10c696bc106a8159;hpb=5c796440126e33778e4b3f763ce37b677b378cc5;p=helm.git

diff --git a/helm/gTopLevel/termViewer.mli b/helm/gTopLevel/termViewer.mli
index 8fa37e531..71ab63bc0 100644
--- a/helm/gTopLevel/termViewer.mli
+++ b/helm/gTopLevel/termViewer.mli
@@ -73,7 +73,6 @@ val sequent_viewer :
   ?vadjustment:GData.adjustment ->
   ?font_size:int ->
   ?log_verbosity:int ->
-  ?border_width:int ->
   ?width:int ->
   ?height:int ->
   ?packing:(GObj.widget -> unit) ->
@@ -111,7 +110,6 @@ val proof_viewer :
   ?vadjustment:GData.adjustment ->
   ?font_size:int ->
   ?log_verbosity:int ->
-  ?border_width:int ->
   ?width:int ->
   ?height:int ->
   ?packing:(GObj.widget -> unit) ->