- matitacLib: better handling of the callbacks for the dump operation

[helm.git] / helm / software / components / acic_content / termAcicContent.mli

diff --git a/helm/software/components/acic_content/termAcicContent.mli b/helm/software/components/acic_content/termAcicContent.mli
index 91438d248143d1941698b5ea4af8a4e5e928f1d9..605a8f5ca36063be5b641eab2552289af0099053 100644 (file)
--- a/helm/software/components/acic_content/termAcicContent.mli
+++ b/helm/software/components/acic_content/termAcicContent.mli
@@ -36,7 +36,7 @@ val add_interpretation:
 
   (** @raise Interpretation_not_found *)
 val lookup_interpretations:
-  string -> (* symbol *)
+  ?sorted:bool -> string -> (* symbol *)
     (string * CicNotationPt.argument_pattern list *
       CicNotationPt.cic_appl_pattern) list