diff options
| -rw-r--r-- | isa/thy-mode.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isa/thy-mode.el b/isa/thy-mode.el index 02785018..07e0ca54 100644 --- a/isa/thy-mode.el +++ b/isa/thy-mode.el @@ -215,7 +215,7 @@ You can use the following format characters: (if file (progn (easy-menu-remove thy-mode-deps-menu) - (thy-menu-define-deps file) + (proof-thy-menu-define-deps file) (easy-menu-add thy-mode-deps-menu thy-mode-map)))) |