diff --git a/_tags b/_tags index 8db6492b..ec418e40 100644 --- a/_tags +++ b/_tags @@ -1 +1 @@ -: thread +: thread diff --git a/examples/mem_size.ml b/examples/mem_size.ml index 2a8c0f74..65d8b534 100644 --- a/examples/mem_size.ml +++ b/examples/mem_size.ml @@ -30,7 +30,7 @@ let compute_size x = let print_val fmt x = let o = Obj.repr x in let graph' = G.map ~edges:(fun i -> [`Label (string_of_int i)]) - ~vertices:(fun v -> [`Label (string_of_int v)]) graph in + ~vertices:(fun v -> [`Label (string_of_int v); `Shape "box"]) graph in G.Dot.pp ~name:"value" graph' fmt (Enum.singleton o) let print_val_file filename x = diff --git a/futures.ml b/future.ml similarity index 100% rename from futures.ml rename to future.ml diff --git a/futures.mli b/future.mli similarity index 100% rename from futures.mli rename to future.mli diff --git a/thread_containers.mllib b/thread_containers.mllib index 12ece353..99668811 100644 --- a/thread_containers.mllib +++ b/thread_containers.mllib @@ -1 +1 @@ -Futures +Future