From b35edb34769fecd4dbdf7030222ba3078eab1c93 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 25 Apr 2014 13:59:39 +0200
Subject: Fixing various backtrace recordings.

---
 library/states.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'library')

diff --git a/library/states.ml b/library/states.ml
index ea4e7d43c5..031222c7d3 100644
--- a/library/states.ml
+++ b/library/states.ml
@@ -37,6 +37,7 @@ let with_state_protection f x =
   try
     let a = f x in unfreeze st; a
   with reraise ->
+    let reraise = Errors.push reraise in
     (unfreeze st; raise reraise)
 
 let with_state_protection_on_exception = Future.transactify
-- 
cgit v1.2.3