dama, tests, legacy ported

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

diff --git a/components/lexicon/cicNotation.mli b/components/lexicon/cicNotation.mli
index 944438df8621131c9f51fd88fd60e420bc3b2c21..00b34babea5ba494a7cff626ebad222319d12a05 100644 (file)
--- a/components/lexicon/cicNotation.mli
+++ b/components/lexicon/cicNotation.mli
@@ -30,7 +30,7 @@ val process_notation: LexiconAst.command -> notation_id list
 val remove_notation: notation_id -> unit
 
 (** {2 Notation enabling/disabling}
- * Right now, only disabling of notation during pretty printing is supporting.
+ * Right now, only disabling of notation during pretty printing is supported.
  * If it is useful to disable it also for the input phase is still to be
  * understood ... *)