remove dead code

mransan · Nov 27, 2023 · 305abd6 · 305abd6
1 parent a4bc147
commit 305abd6
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 19 deletions.
diff --git 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
diff --git a/src/runtime-services/push_stream.mli b/src/runtime-services/push_stream.mli