diff options
Diffstat (limited to 'lisp/emacs-lisp/comp-cstr.el')
| -rw-r--r-- | lisp/emacs-lisp/comp-cstr.el | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/lisp/emacs-lisp/comp-cstr.el b/lisp/emacs-lisp/comp-cstr.el index a53372be006..e63afa16a23 100644 --- a/lisp/emacs-lisp/comp-cstr.el +++ b/lisp/emacs-lisp/comp-cstr.el @@ -2,7 +2,7 @@ ;; Author: Andrea Corallo <akrl@sdf.com> -;; Copyright (C) 2020 Free Software Foundation, Inc. +;; Copyright (C) 2020-2021 Free Software Foundation, Inc. ;; Keywords: lisp ;; Package: emacs @@ -179,10 +179,6 @@ Return them as multiple value." (defvar comp-cstr-one (comp-value-to-cstr 1) "Represent the integer immediate one.") -(defun comp-pred-to-cstr (predicate) - "Given PREDICATE return the correspondig constraint." - (comp-type-to-cstr (get predicate 'cl-satisfies-deftype))) - ;;; Value handling. |