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 /kernel/nativecode.ml | |
| 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
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions