diff options
| author | Alec Faithfull | 2015-10-06 15:23:02 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2015-10-09 11:01:54 +0200 |
| commit | 41ac12062858d3b8b82b0ed736b3800d052f34b8 (patch) | |
| tree | 2dfc176f4112eeaa9473f4d761a3d8931620deb7 | |
| parent | f6b3704391de97ee544da9ae7316685cd2d9fae3 (diff) | |
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
| -rw-r--r-- | stm/stm.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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) -> |