X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitacLib.ml;h=c96fdf82db4a7c8d0793d00ce11d84d78c3f30c8;hb=d17a38ddca548c784e9efa7c55e87c80203b024d;hp=489e37c86417bbf9688b9bb816a933b56ff06b27;hpb=b378b7f4f2a3a897c4b69f44d4d1d54cc4d0aa56;p=helm.git

diff --git a/helm/software/matita/matitacLib.ml b/helm/software/matita/matitacLib.ml
index 489e37c86..c96fdf82d 100644
--- a/helm/software/matita/matitacLib.ml
+++ b/helm/software/matita/matitacLib.ml
@@ -77,6 +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 (_, true, _))) -> ()
       | stm ->
          output_string och (pp_statement stm); nl (); nl ()
    in