Typo fixed.

diff --git a/helm/software/matita/dist/ChangeLog b/helm/software/matita/dist/ChangeLog
index 198920eac7e5216a0b67fde861a5b53b9e00095b..17bd3330abe8f26017de6db53490e9352d3c9d99 100644 (file)
--- a/helm/software/matita/dist/ChangeLog
+++ b/helm/software/matita/dist/ChangeLog
@@ -14,7 +14,7 @@
        * new refiner:
          * bi-directional type inference
          * unification hints
-         * implicit vector (expands to the tight number of implicits)
+         * implicit vector (expands to the right number of implicits)
        * new basic tactics:
          * new type for tactics, with a global view on the ongoing proof
          * heavily based on the refiner