X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitacLib.ml;h=2c5160572f57e6f873a682d9efed6f7c0aaa9e20;hb=a7237500e8a2a4237a6ae8ba4b8301f7bbcb6acb;hp=36f7cda6dc9d059bb22a14324dfbdd3febdc00f5;hpb=61fdd44c21a3655c3dcea52601c59b31414f8860;p=helm.git

diff --git a/helm/software/matita/matitacLib.ml b/helm/software/matita/matitacLib.ml
index 36f7cda6d..2c5160572 100644
--- a/helm/software/matita/matitacLib.ml
+++ b/helm/software/matita/matitacLib.ml
@@ -77,7 +77,7 @@ let dump f =
 	          (Helm_registry.get_bool "matita.paste_unicode_as_tex")
 	 in
          output_string och str
-      | G.Executable (loc, G.Command (_, G.Include (_, false, _))) -> ()
+      | G.Executable (loc, G.Command (_, G.Include (_, false, _, _))) -> ()
       | stm ->
          output_string och (pp_statement stm); nl (); nl ()
    in