update example file syntax

DES-Lab · Mar 19, 2024 · 0ee6f55 · 0ee6f55
1 parent 6a43236
commit 0ee6f55
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/DotModels/coffee_mealy.dot b/DotModels/coffee_mealy.dot
@@ -1,5 +1,6 @@
 digraph coffee_mealy {
 s0 [label="s0"];
+s1 [label="s1"];
 s0 -> s1  [label="coin/ beep"];
 s0 -> s0  [label="button/ init"];
 s1 -> s1  [label="coin/ beep"];