From 41ac12062858d3b8b82b0ed736b3800d052f34b8 Mon Sep 17 00:00:00 2001
From: Alec Faithfull
Date: Tue, 6 Oct 2015 15:23:02 +0200
Subject: STM: Work around an occasional crash in dot (debug output)

The splines=ortho option seems to make dot crash sometimes, so this commit
removes it from the STM debugging output
---
 stm/stm.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/stm/stm.ml b/stm/stm.ml
index c0d71dc933..5bb46fd368 100644
--- a/stm/stm.ml
+++ b/stm/stm.ml
@@ -372,7 +372,7 @@ end = struct (* {{{ *)
          (try let n = Hashtbl.find clus c in from::n
          with Not_found -> [from]); true in
     let oc = open_out fname_dot in
-    output_string oc "digraph states {\nsplines=ortho\n";
+    output_string oc "digraph states {\n";
     Dag.iter graph (fun from cf _ l ->
       let c1 = add_to_clus_or_ids from cf in
       List.iter (fun (dest, trans) ->
-- 
cgit v1.2.3