notation_id were compared using Pervasives.equal this was rarely triggering the

[helm.git] / helm / software / components / lexicon / cicNotation.mli

diff --git a/helm/software/components/lexicon/cicNotation.mli b/helm/software/components/lexicon/cicNotation.mli
index 81b01aa45625364cb33310838c832d9ca7572f4e..6c8647ad8552516c313662952eeebbc2be502612 100644 (file)
--- 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