diff options
| author | Kenny Ballou <kb@devnulllabs.io> | 2021-07-21 11:28:54 -0600 |
|---|---|---|
| committer | Kenny Ballou <kb@devnulllabs.io> | 2021-07-23 10:41:21 -0600 |
| commit | 6f496cf993a734bed9789af56d70ae4639494bbf (patch) | |
| tree | a3fa2bd3fac443de8803eb0d24330020fe88249d /config/emacs/emacs.d/lisp | |
| parent | f3c2ff5ab0c7db007e3119cd00d8ba6fa0422ad3 (diff) | |
| download | dotfiles-6f496cf993a734bed9789af56d70ae4639494bbf.tar.gz dotfiles-6f496cf993a734bed9789af56d70ae4639494bbf.tar.xz | |
emacs: z3: load z3-mode for .z3 files
Signed-off-by: Kenny Ballou <kb@devnulllabs.io>
Diffstat (limited to 'config/emacs/emacs.d/lisp')
| -rw-r--r-- | config/emacs/emacs.d/lisp/init-z3.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/config/emacs/emacs.d/lisp/init-z3.el b/config/emacs/emacs.d/lisp/init-z3.el index cf0cbb07..abc6c044 100644 --- a/config/emacs/emacs.d/lisp/init-z3.el +++ b/config/emacs/emacs.d/lisp/init-z3.el @@ -6,7 +6,8 @@ (defvar z3-solver-cmd) (use-package z3-mode - :mode "\\.smt2\\'" + :mode (("\\.smt2\\'" . z3-mode) + ("\\.z3\\'" . z3-mode)) :config (setq z3-solver-cmd "z3")) |