docs/tutorial/slides.md
changeset 4621 8784dfc6537c
parent 4620 a05bfdf372fb
--- a/docs/tutorial/slides.md	Sat Apr 27 21:41:04 2019 -0400
+++ b/docs/tutorial/slides.md	Sat Apr 27 21:54:52 2019 -0400
@@ -2141,7 +2141,7 @@
     }
 ~~~
 
-#### Bumped
+#### Phase-divergent
 
 Now called `Phase-divergent`
 
@@ -2155,17 +2155,17 @@
         Root -> New;
         node[group=obsolete];
         Root -> Obsolete;
-        node[group=bumped];
-        Root -> Bumped;
+        node[group=phase-divergent];
+        Root -> Phase-divergent;
 
         // Obsolescence links
         edge[dir=back, style=dotted, arrowtail=dot];
         Obsolete -> New;
-        Obsolete -> Bumped;
+        Obsolete -> Phase-divergent;
 
         New [shape="circle"];
         Obsolete [fillcolor="#DFDFFF"];
-        Bumped [fillcolor="#FF3535"];
+        Phase-divergent [fillcolor="#FF3535"];
         Root[shape="circle"];
     }
 ~~~