From 772e6e6844fd5b4fa27a9e5df14df4a402fc4a18 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 20 Mar 2013 15:27:17 +0100 Subject: [PATCH] renamed Futures into Future --- _tags | 2 +- examples/mem_size.ml | 2 +- futures.ml => future.ml | 0 futures.mli => future.mli | 0 thread_containers.mllib | 2 +- 5 files changed, 3 insertions(+), 3 deletions(-) rename futures.ml => future.ml (100%) rename futures.mli => future.mli (100%) 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