Normand Briere
2019-07-25 f2b6a33fdf84a06b958f9cb9d667a2eff3063d8b
RandomNode.java
....@@ -5,7 +5,7 @@
55
66 RandomNode()
77 {
8
- this("Random");
8
+ this("Switch");
99 }
1010
1111 RandomNode(String name)