Remove any
(defmapping-filter-call call) → call$
As explained in the documentation, these two options are ignored when checking redundancy.
Function:
(defun defmapping-filter-call (call) (declare (xargs :guard (pseudo-event-formp call))) (declare (xargs :guard (and (>= (len call) 6) (member-eq (car call) '(defmapping defiso defsurj definj))))) (let ((__function__ 'defmapping-filter-call)) (declare (ignorable __function__)) (b* ((number-of-required-args 5) (number-of-elements-before-options (1+ number-of-required-args)) (options (nthcdr number-of-elements-before-options call)) (options (remove-keyword :print options)) (options (remove-keyword :show-only options)) (call$ (append (take number-of-elements-before-options call) options))) call$)))