X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=components%2Fsyntax_extensions%2Futf8Macro.mli;h=b21ba504fe125824e8fab675ad2de1de84932a80;hb=14c956f9be9e525fc2dd140e8a2ea6c063c48930;hp=d92f60b373ac3f8053e7419708a3cb9b53840b52;hpb=4cdf45f08cd95641a094312ddc558320b874fa16;p=helm.git

diff --git a/components/syntax_extensions/utf8Macro.mli b/components/syntax_extensions/utf8Macro.mli
index d92f60b37..b21ba504f 100644
--- a/components/syntax_extensions/utf8Macro.mli
+++ b/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