From 1801eab1c6685f3d1a0311ac1074f252efcccbc5 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Sat, 27 Dec 2014 20:40:28 +0100
Subject: STM: fix processing of errors

---
 stm/stm.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/stm/stm.ml b/stm/stm.ml
index 42500651cb..6558252a7a 100644
--- a/stm/stm.ml
+++ b/stm/stm.ml
@@ -661,8 +661,8 @@ end = struct (* {{{ *)
     | Some _ -> (e, info)
     | None ->
         let loc = Option.default Loc.ghost (Loc.get_loc info) in
-        Hooks.(call execution_error id loc (iprint (e, info)));
         let (e, info) = Hooks.(call_process_error_once (e, info)) in
+        Hooks.(call execution_error id loc (iprint (e, info)));
         (e, Stateid.add info ?valid id)
 
   let same_env { system = s1 } { system = s2 } =
-- 
cgit v1.2.3