jobs: Remove unnecessary 'a retire and 'a to_string types.

[goals.git] / src / jobs.ml

diff --git a/src/jobs.ml b/src/jobs.ml
index 2e8735e..249ab6a 100644 (file)
--- a/src/jobs.ml
+++ b/src/jobs.ml
@@ -21,10 +21,6 @@ open Utils
 
 type 'a next = Job of 'a * (unit -> unit) | Complete | Not_ready
 
-type 'a retire = 'a -> unit
-
-type 'a to_string = 'a -> string
-
 let run next_job retire_job string_of_job =
   (* Number of running threads <= Cmdline.nr_jobs. *)
   let running = ref 0 in