From c28c07aaca4f8a86e9d7e9bb27090d3d9f338e61 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 13 Apr 2004 19:12:28 +0000
Subject: Fix long-lived typo in setting auto-mode-alist.

---
 isa/thy-mode.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isa/thy-mode.el b/isa/thy-mode.el
index a303d961..b9dd7139 100644
--- a/isa/thy-mode.el
+++ b/isa/thy-mode.el
@@ -20,7 +20,7 @@
 ;; on for .thy files.
 ;; FIXME: be less messy with auto-mode-alist here (remove dups)
 (setq auto-mode-alist
-      (cons '("\\.thy$" . thy-mode) auto-mode-alist))
+      (cons '("\\.thy$" . isa-mode) auto-mode-alist))
 
 ;;; ========== Theory File Mode User Options ==========
 
-- 
cgit v1.2.3