1. bug fixed: Unicode characters that are not mapped to TeX macros used to

[helm.git] / helm / software / components / syntax_extensions / utf8Macro.mli

diff --git a/helm/software/components/syntax_extensions/utf8Macro.mli b/helm/software/components/syntax_extensions/utf8Macro.mli
index d92f60b373ac3f8053e7419708a3cb9b53840b52..b21ba504fe125824e8fab675ad2de1de84932a80 100644 (file)
--- a/helm/software/components/syntax_extensions/utf8Macro.mli
+++ b/helm/software/components/syntax_extensions/utf8Macro.mli
@@ -36,5 +36,4 @@ val expand: string -> string
 val unicode_of_tex: string -> string
 
   (** ... the other way round *)
-val tex_of_unicode: string -> string
-
+val tex_of_unicode: string -> string option