parameter sintax added to axiom statement

[helm.git] / helm / software / components / content_pres / cicNotationLexer.mli

diff --git a/helm/software/components/content_pres/cicNotationLexer.mli b/helm/software/components/content_pres/cicNotationLexer.mli
index f04575f5f7f7685ddd14c2d981bdc42bec428c7b..1edacd96097139dcfee979838ef9781d949414a0 100644 (file)
--- 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