diff --git a/lisp/progmodes/verilog-mode.el b/lisp/progmodes/verilog-mode.el
index fa93633db12..3081060f46a 100644
--- a/lisp/progmodes/verilog-mode.el
+++ b/lisp/progmodes/verilog-mode.el
@@ -3237,7 +3237,7 @@ user-visible changes to the buffer must not be within a
   `(let ((inhibit-point-motion-hooks t)
          (verilog-no-change-functions t))
      ,(if (fboundp 'with-silent-modifications)
-          (with-silent-modifications ,@body)
+          `(with-silent-modifications ,@body)
         ;; From c-save-buffer-state
         `(let* ((modified (buffer-modified-p))
                 (buffer-undo-list t)