Rely on lithium instead of evil for exit hook

symex-lithium.el

@@ -38,7 +38,6 @@
   "Symex state."
   :tag " <λ> "
   :message "-- SYMEX --"
-  :exit-hook (symex-exit-mode)
   :enable (normal))
 
 (defun symex-evil-repeat-start-recording-advice (&rest _)

symex-misc.el

@@ -489,14 +489,13 @@ ORIG-FN applied to ARGS is the invocation being advised."
 
 (defun symex-exit-mode ()
   "Take necessary action upon symex mode exit."
-  (unless (member evil-next-state '(emacslike normallike))
-    ;; these are "internal" state transitions, used in e.g. symex-evaluate
-    (deactivate-mark)
-    (when symex--original-blink-cursor-state
-      (blink-cursor-mode 1))
-    (when symex-refocus-p
-      (symex--restore-scroll-margin))
-    (symex--primitive-exit)))
+  ;; these are "internal" state transitions, used in e.g. symex-evaluate
+  (deactivate-mark)
+  (when symex--original-blink-cursor-state
+    (blink-cursor-mode 1))
+  (when symex-refocus-p
+    (symex--restore-scroll-margin))
+  (symex--primitive-exit))
 
 (provide 'symex-misc)
 ;;; symex-misc.el ends here

symex.el

@@ -126,7 +126,8 @@
 
 (defun symex-modal-provider-initialize ()
   "Initialize the modal interface provider."
-  (symex-lithium-initialize))
+  (symex-lithium-initialize)
+  (add-hook 'symex-editing-mode-pre-exit-hook #'symex-exit-mode))
 
 ;;;###autoload
 (defun symex-initialize ()