X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatitac.ml;h=533bbc6a3d46df166290596df4da29ed2a745ae4;hb=fdd8107cc53f5e862004aa5fcd48593ee5634234;hp=2ae1c8d6846b635d1dca96a10121bb4ef0224969;hpb=6187b40af194fb960d91653682a0eb2096f20f3b;p=helm.git

diff --git a/helm/matita/matitac.ml b/helm/matita/matitac.ml
index 2ae1c8d68..533bbc6a3 100644
--- a/helm/matita/matitac.ml
+++ b/helm/matita/matitac.ml
@@ -46,6 +46,8 @@ class tty_console =
       with exn ->
         self#echo_error (explain exn);
         None
+    method show ?(msg = "") () = assert false; ()
+    method choose_uri (uris: string list): string = assert false
   end
 
 (** {2 Initialization} *)