Update systems-distinct.tex

Author: yiannis-had

content/normal-modal-logic/axioms-systems/systems-distinct.tex

@@ -92,7 +92,7 @@
         $\mSat/{{}}{\Box\Diamond\lnot p}$}, right=of w1] {$w_2$} ;
     \draw[reflexive above] (w2) to (w2);
     \node[world] (w3) [label={right:\mFalse{p}},right=of w2] {$w_3$};
-    \draw[reflexive above] (w2) to (w2);
+    \draw[reflexive above] (w3) to (w3);
     \draw[->, bend left] (w1) to (w2);  
     \draw[->, bend left] (w2) to (w3);  
     \draw[->, bend left] (w3) to (w2);