From ba30a3da1f41aec6404b49832cdc8516fdcc78ec Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 9 Sep 2014 13:11:16 +0200
Subject: Marshalling errors should be bold and red (should never happen
 actually)

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

diff --git a/stm/stm.ml b/stm/stm.ml
index da2d0fb38e..e5e156a4db 100644
--- a/stm/stm.ml
+++ b/stm/stm.ml
@@ -817,7 +817,7 @@ module Task = struct
 
   let on_marshal_error s { t_exn_info; t_stop; t_assign; t_loc } =
     if !fallback_to_lazy_if_marshal_error then begin
-      msg_warning(strbrk("Marshalling error: "^s^". "^
+      msg_error(strbrk("Marshalling error: "^s^". "^
         "The system state could not be sent to the worker process. "^
         "Falling back to local, lazy, evaluation."));
       t_assign(`Comp(build_proof_here t_exn_info t_loc t_stop));
-- 
cgit v1.2.3