diff options
Diffstat (limited to 'lib/proof-compat.el')
| -rw-r--r-- | lib/proof-compat.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/proof-compat.el b/lib/proof-compat.el index 25c029c6..95c533e5 100644 --- a/lib/proof-compat.el +++ b/lib/proof-compat.el @@ -28,7 +28,7 @@ ;;; Code: -(require 'cl) +(require 'cl-lib) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; @@ -63,7 +63,7 @@ in the current Emacs session." saved-value theme-value theme-face)) - (remprop symbol prop))) + (cl-remprop symbol prop))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |