diff options
Diffstat (limited to 'easycrypt/easycrypt-hooks.el')
| -rw-r--r-- | easycrypt/easycrypt-hooks.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/easycrypt/easycrypt-hooks.el b/easycrypt/easycrypt-hooks.el index 67592973..376936f6 100644 --- a/easycrypt/easycrypt-hooks.el +++ b/easycrypt/easycrypt-hooks.el @@ -68,7 +68,7 @@ (setq easycrypt-proof-weak-mode (car (cdr infos))) ))) -(add-hook 'proof-state-change-hook 'easycrypt-set-state-infos) +(add-hook 'proof-state-change-pre-hook 'easycrypt-set-state-infos) (defun easycrypt-find-and-forget (span) (let ((span-staten (easycrypt-get-span-statenum span))) |