make all unnecessary edges dotted

There were a couple missing
2020-07-02 14:22:52 -04:00 · 2020-07-02 14:22:52 -04:00 · b6c409613e
parent 682440766f
commit b6c409613e
3 changed files with 2 additions and 2 deletions
--- a/docs/destroying.md
+++ b/docs/destroying.md
@ -216,7 +216,7 @@ digraph replacement {
        a_d [label="A destroy"];
    }

-    a -> a_d [dir=back];
+    a -> a_d [dir=back, style=dotted];
    b -> a_d [dir=back];
 }
 -->
@ -317,7 +317,7 @@ digraph replacement {
    }

    a -> a_d [dir=back];
-    b -> a_d [dir=back];
+    b -> a_d [dir=back, style=dotted];
    b -> b_d [dir=back];
 }
 -->
--- a/docs/images/replace_all_cbd.png
+++ b/docs/images/replace_all_cbd.png
--- a/docs/images/replace_dep_cbd_dep.png
+++ b/docs/images/replace_dep_cbd_dep.png