Encourage use of demoisa-easy.el

1 files changed, 1 insertions, 1 deletions

diff --git a/demoisa/demoisa-easy.el b/demoisa/demoisa-easy.el
index 2a7e87c5..96f2ce7b 100644
--- a/demoisa/demoisa-easy.el
+++ b/demoisa/demoisa-easy.el
@@ -12,7 +12,7 @@
 ;;
 ;; This mechanism is in fact recommended for new instantiations of
 ;; Proof General since it follows a regular pattern, and we can more
-;; easily adapt the it in the future to new versions of Proof General.
+;; easily adapt it in the future to new versions of Proof General.
 ;; It is easy to augment with additional elisp functions and
 ;; other settings.
 ;;