defttag-muffled

(in-package "ACL2")

(defttag :defttag-muffled)

(progn! (set-raw-mode t)
  (defun print-ttag-note
    (val active-book-name include-bookp deferred-p state)
    (declare (ignore val active-book-name include-bookp deferred-p))
    state))