(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