From 2c2135838e439fff951c1eb2d2a4432aee29df16 Mon Sep 17 00:00:00 2001
From: Lars Tveito <larstvei@ifi.uio.no>
Date: Tue, 22 Sep 2020 18:16:57 +0200
Subject: [PATCH] Add z3-mode

---
 init.org | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/init.org b/init.org
index c042a04..9aa0807 100644
--- a/init.org
+++ b/init.org
@@ -221,7 +221,8 @@
              slime                ; Superior Lisp Interaction Mode for Emacs
              try                  ; Try out Emacs packages
              vterm                ; A terminal via libvterm
-             which-key)))         ; Display available keybindings in popup
+             which-key            ; Display available keybindings in popup
+             z3-mode)))           ; z3/SMTLIBv2 interactive development
      (when (memq window-system '(mac ns))
        (push 'exec-path-from-shell packages)
        (push 'reveal-in-osx-finder packages))