X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Flexicon%2FcicNotation.mli;h=6c8647ad8552516c313662952eeebbc2be502612;hb=622b14b04e2076d75c283363969dab7d28380bfb;hp=81b01aa45625364cb33310838c832d9ca7572f4e;hpb=5c1b44dfefa085fbb56e23047652d3650be9d855;p=helm.git

diff --git a/helm/software/components/lexicon/cicNotation.mli b/helm/software/components/lexicon/cicNotation.mli
index 81b01aa45..6c8647ad8 100644
--- a/helm/software/components/lexicon/cicNotation.mli
+++ b/helm/software/components/lexicon/cicNotation.mli
@@ -25,6 +25,8 @@
 
 type notation_id
 
+val compare_notation_id : notation_id -> notation_id -> int
+
 val process_notation: LexiconAst.command -> notation_id list
 
 val remove_notation: notation_id -> unit