diff --git a/src/runtime-services/pbrt_services.ml b/src/runtime-services/pbrt_services.ml
index 59b5179a..1b9b5e7b 100644
--- a/src/runtime-services/pbrt_services.ml
+++ b/src/runtime-services/pbrt_services.ml
@@ -6,8 +6,6 @@ module Value_mode = struct
   type stream
 end
 
-module Push_stream = Push_stream
-
 (** Service stubs, client side *)
 module Client = struct
   type _ mode =
diff --git a/src/runtime-services/push_stream.ml b/src/runtime-services/push_stream.ml
deleted file mode 100644
index 7487943e..00000000
--- a/src/runtime-services/push_stream.ml
+++ /dev/null
@@ -1,7 +0,0 @@
-type 'a t = {
-  push: 'a -> unit;
-  close: unit -> unit;
-}
-
-let push self x = self.push x
-let close self = self.close ()
diff --git a/src/runtime-services/push_stream.mli b/src/runtime-services/push_stream.mli
deleted file mode 100644
index d62e8c11..00000000
--- a/src/runtime-services/push_stream.mli
+++ /dev/null
@@ -1,10 +0,0 @@
-(** Producer end of a stream, into which we can push values *)
-
-type 'a t = {
-  push: 'a -> unit;
-  close: unit -> unit;
-}
-(** Stream of outgoing values, we can push new ones until we close it *)
-
-val push : 'a t -> 'a -> unit
-val close : _ t -> unit