dashed

Author: yveshauser

formal-spec/docs/leios-state-transition-diag.tex

@@ -21,7 +21,7 @@
     \path[-stealth] (focus) edge[out=45,in=135,looseness=10, color=bleudefrance] node[above] {\textcolor{black}{EB Role}} (focus);
     \path[-stealth] (focus) edge[out=45,in=135,looseness=15, color=bleudefrance] node[above] {\textcolor{black}{Vote Role}} (focus);
     \path[-stealth] (focus) edge[out=45,in=135,looseness=20, color=jasper] node[above] {\textcolor{black}{$Base_{2}$}} (focus);
-    \path[-stealth] (focus) edge[out=45,in=135,looseness=25, color=jasper] node[above] {\textcolor{black}{$Base_{1}$}} (focus);
+    \path[-stealth] (focus) edge[out=45,in=135,looseness=25, color=jasper, dashed] node[above] {\textcolor{black}{$Base_{1}$}} (focus);
     \path[-stealth] (focus) edge[out=45,in=135,looseness=30, color=jasper, dashed] node[above] {\textcolor{black}{Ftch}} (focus);
     \path[-stealth] (focus) edge[out=225,in=315,looseness=5] node[above] {\textcolor{black}{Not IB Role}} (focus);
     \path[-stealth] (focus) edge[out=225,in=315,looseness=10] node[above] {\textcolor{black}{Not EB Role}} (focus);