Does nothing -- this is the default implementation for
(vl-lint-extra-actions-default lintconfig loadconfig loadresult lintresult state) → state
Function:
(defun vl-lint-extra-actions-default (lintconfig loadconfig loadresult lintresult state) (declare (xargs :stobjs (state))) (declare (xargs :guard (and (vl-lintconfig-p lintconfig) (vl-loadconfig-p loadconfig) (vl-loadresult-p loadresult) (vl-lintresult-p lintresult)))) (declare (ignore lintconfig loadconfig loadresult lintresult)) (let ((__function__ 'vl-lint-extra-actions-default)) (declare (ignorable __function__)) state))