update: auto commit

2026-04-09 23:43:59 -04:00
parent 6aa2092cd7
commit 6f3e52edb8
1 changed files with 1 additions and 1 deletions
@@ -258,7 +258,7 @@
        std/.style={sys, fill=blue!8},
        fo/.style={sys, fill=red!10, very thick},
        rel/.style={->, thick},
-        weak/.style={->, semithick, dashed}
+        weak/.style={->, semithick, dashed},
        equv/.style={<->, thick}
      ]