]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/matita/matitacLib.ml
- Procedural convertible rewrites in the conclusion are now detected and replaced...
[helm.git] / helm / software / matita / matitacLib.ml
index c96fdf82db4a7c8d0793d00ce11d84d78c3f30c8..637bea9897270f274e388da7d2899d1024a01af8 100644 (file)
@@ -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 (_, true, _))) -> ()
+      | G.Executable (loc, G.Command (_, G.Include (_, false, _))) -> ()
       | stm ->
          output_string och (pp_statement stm); nl (); nl ()
    in