branch: elpa/idris-mode
commit 8ff4a2d9d516648c97466f815f0a63c5b2329bce
Author: Marek L <nospam.ke...@gmail.com>
Commit: Marek L <nospam.ke...@gmail.com>
Reset `idris-protocol-version*` vars to 0 on quit
Why:
To make easier and reliable to switch between Idris and Idris2
---
idris-commands.el | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/idris-commands.el b/idris-commands.el
index 256458d274..da73e2be89 100644
--- a/idris-commands.el
+++ b/idris-commands.el
@@ -989,7 +989,9 @@ https://github.com/clojure-emacs/cider";
(delete-overlay idris-loaded-region-overlay)
(setq idris-loaded-region-overlay nil)))
(idris-prover-end)
- (idris-kill-buffers)))
+ (idris-kill-buffers)
+ (setq idris-protocol-version 0
+ idris-protocol-version-minor 0)))
(defun idris-delete-ibc (no-confirmation)
"Delete the IBC file for the current buffer. A prefix argument
