diff options
Diffstat (limited to 'src/images/graphviz/litmus_sample.txt')
-rw-r--r-- | src/images/graphviz/litmus_sample.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/images/graphviz/litmus_sample.txt b/src/images/graphviz/litmus_sample.txt index e3f8cf1..bb772a0 100644 --- a/src/images/graphviz/litmus_sample.txt +++ b/src/images/graphviz/litmus_sample.txt @@ -3,7 +3,7 @@ digraph G { splines=spline; pad="0.000000"; -label = "A sample litmus test and one forbidden execution (a0=1)."; +label="A sample litmus test and one forbidden execution (a0=1)."; /* the unlocked events */ |