X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcontent_pres%2FcicNotationLexer.mli;h=1edacd96097139dcfee979838ef9781d949414a0;hb=f9abd21eb0d26cf9b632af4df819225be4d091e3;hp=f04575f5f7f7685ddd14c2d981bdc42bec428c7b;hpb=01001c883a8151edba81cd03a6f254d24a81c867;p=helm.git

diff --git a/helm/software/components/content_pres/cicNotationLexer.mli b/helm/software/components/content_pres/cicNotationLexer.mli
index f04575f5f..1edacd960 100644
--- a/helm/software/components/content_pres/cicNotationLexer.mli
+++ b/helm/software/components/content_pres/cicNotationLexer.mli
@@ -43,8 +43,5 @@ val remove_level2_ast_keyword: string -> unit (** non idempotent *)
 
 (** {2 Ligatures} *)
 
-val is_ligature_char: char -> bool
-val lookup_ligatures: string -> string list
-
 val push: unit -> unit
 val pop: unit -> unit