diff options
| -rw-r--r-- | mathcomp/ssreflect/pg-ssr.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mathcomp/ssreflect/pg-ssr.el b/mathcomp/ssreflect/pg-ssr.el index a4b845a..3ef7271 100644 --- a/mathcomp/ssreflect/pg-ssr.el +++ b/mathcomp/ssreflect/pg-ssr.el @@ -35,7 +35,7 @@ "Extended list of tacticals, includings ssr and user defined ones") (defcustom coq-user-reserved-db - '("is" "nosimpl" "of") + '("is" "isn't" "nosimpl" "of") "Extended list of keywords, includings ssr and user defined ones") (defcustom coq-user-solve-tactics-db |