Fix mdbook

Signed-off-by: Moritz Hoffmann <[email protected]>

Author: antiguru

mdbook/src/chapter_4/chapter_4_1.md

@@ -18,12 +18,13 @@ You can create a new scope in any other scope by invoking the `scoped` method:
 extern crate timely;
 
 use timely::dataflow::Scope;
+use timely::progress::SubgraphBuilder;
 
 fn main() {
     timely::example(|scope| {
 
         // Create a new scope with the same (u64) timestamp.
-        scope.scoped::<u64,_,_>("SubScope", |subscope| {
+        scope.scoped::<u64,_,_,SubgraphBuilder<_,_>>("SubScope", |subscope| {
             // probably want something here
         })
 
@@ -46,14 +47,15 @@ extern crate timely;
 
 use timely::dataflow::Scope;
 use timely::dataflow::operators::*;
+use timely::progress::SubgraphBuilder;
 
 fn main() {
     timely::example(|scope| {
 
         let stream = (0 .. 10).to_stream(scope);
 
         // Create a new scope with the same (u64) timestamp.
-        let result = scope.scoped::<u64,_,_>("SubScope", |subscope| {
+        let result = scope.scoped::<u64,_,_,SubgraphBuilder<_,_>>("SubScope", |subscope| {
             stream.enter(subscope)
                   .inspect_batch(|t, xs| println!("{:?}, {:?}", t, xs))
                   .leave()
@@ -108,14 +110,15 @@ extern crate timely;
 
 use timely::dataflow::Scope;
 use timely::dataflow::operators::*;
+use timely::progress::SubgraphBuilder;
 
 fn main() {
     timely::example(|scope| {
 
         let stream = (0 .. 10).to_stream(scope);
 
         // Create a new scope with a (u64, u32) timestamp.
-        let result = scope.iterative::<u32,_,_>(|subscope| {
+        let result = scope.iterative::<u32,_,_,SubgraphBuilder<_,_>>(|subscope| {
             stream.enter(subscope)
                   .inspect_batch(|t, xs| println!("{:?}, {:?}", t, xs))
                   .leave()

mdbook/src/chapter_4/chapter_4_2.md

@@ -89,6 +89,7 @@ extern crate timely;
 
 use timely::dataflow::operators::*;
 use timely::dataflow::Scope;
+use timely::progress::SubgraphBuilder;
 
 fn main() {
     timely::example(|scope| {
@@ -97,7 +98,7 @@ fn main() {
 
         // Create a nested iterative scope.
         // Rust needs help understanding the iteration counter type.
-        scope.iterative::<u64,_,_>(|subscope| {
+        scope.iterative::<u64,_,_,SubgraphBuilder<_,_>>(|subscope| {
 
             let (handle, stream) = subscope.loop_variable(1);