From ec0f8505d60c6c165f5985787faac1dc94a63bc4 Mon Sep 17 00:00:00 2001
From: Tim McCarthy <thoomfish@gmail.com>
Date: Fri, 20 Jun 2025 12:47:06 -0700
Subject: [PATCH] Stop PVS from clobbering some of our keybindings

---
 emacs/init.el | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/emacs/init.el b/emacs/init.el
index e540b82..3eee28b 100644
--- a/emacs/init.el
+++ b/emacs/init.el
@@ -1030,3 +1030,7 @@ any directory proffered by `consult-dir'."
   :hook (eat-mode . (lambda ()
                       (setq display-line-numbers nil)
                       (hl-line-mode -1))))
+
+;;; PVS
+
+(setq ilisp-*use-fsf-compliant-keybindings* t)