[nongnu] elpa/idris-mode 8ff4a2d9d5 2/5: Reset `idris-protocol-version*` vars to 0 on quit

[ELPA Syncer]

branch: elpa/idris-mode
commit 8ff4a2d9d516648c97466f815f0a63c5b2329bce
Author: Marek L <nospam.keram@gmail.com>
Commit: Marek L <nospam.keram@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